Sharing a Perspective on the 饾渾-Calculus
Beniamino Accattoli 路 2023
The 位-calculus models the core of functional programming languages. This essay discusses a gap between the theory of the 位-calculus and functional languages, namely the fact that the former does not give a status to sharing, the essential ingredient for efficiency in the lattter.