4 citations · 6 across the 10 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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,…