research
∙
01/29/2023
A Log-Sensitive Encoding of Turing Machines in the λ-Calculus
This note modifies the reference encoding of Turing machines in the λ-ca...
research
∙
07/18/2022
Multi Types and Reasonable Space (Long Version)
Accattoli, Dal Lago, and Vanoni have recently proved that the space used...
research
∙
03/01/2022
Reasonable Space for the λ-Calculus, Logarithmically
Can the λ-calculus be considered as a reasonable computational model? Ca...
research
∙
04/28/2021
The Space of Interaction (long version)
The space complexity of functional programs is not well understood. In p...
research
∙
10/24/2020
The (In)Efficiency of Interaction
Evaluating higher-order functional programs through abstract machines in...
research
∙
02/13/2020
The Abstract Machinery of Interaction (Long Version)
This paper revisits the Interaction Abstract Machine (IAM), a machine ba...
research
∙
05/10/2018