Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
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 λ-calculus, cost models, sharing, and abstract machines pursued by Accattoli and his co-authors in the last 10 years.