PDF e-Pub

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 $\lambda$-calculus, cost models, sharing, and abstract machines pursued by Accattoli and his co-authors in the last 10 years.