Section: New Results
A Fresh Look at the -Calculus
Participant : Beniamino Accattoli.
This paper [25] is the trace of the invited talk given by Accattoli at FSCD 2019. More than just an abstract, the paper is a lengthy overview of the research on -calculus, cost models, sharing, and abstract machines pursued by Accattoli and his co-authors in the last 10 years.