3 papers
cs.PL2020
The (In)Efficiency of Interaction
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Evaluating higher-order functional programs through abstract machines inspired by the geometry of the interaction is known to induce efficiencies, the price being…
cs.LO2020
The Abstract Machinery of Interaction (Long Version)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
This paper revisits the Interaction Abstract Machine (IAM), a machine based on Girard's Geometry of Interaction, introduced by Mackie and Danos & Regnier. It is an unusual machine,…
cs.LO2018
On randomised strategies in the -calculus (long version)
Ugo Dal Lago, Gabriele Vanoni
In this work we study randomised reduction strategies,a notion already known in the context of abstract reduction systems, for the -calculus. We develop a simple framework that…