Beniamino Accattoli

The Maximal MAM, a Reasonable Implementation of the Maximal Strategy

2017 · arXiv (Cornell University)

This note is about a reasonable abstract machine, called Maximal MAM, implementing the maximal strategy of the lambda-calculus, that is, the strategy that always produces a longest evaluation sequence.

The Abstract Machinery of Interaction (Long Version).

2020 · arXiv (Cornell University)

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, not relying on environments, presented on linear …