Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Distilling abstract machines
- Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
- Computer ScienceICFP
- 19 August 2014
TLDR
Environments and the complexity of abstract machines
- Beniamino Accattoli, B. Barras
- Computer SciencePPDP
- 9 October 2017
TLDR
Beta reduction is invariant, indeed
- Beniamino Accattoli, Ugo Dal Lago
- MathematicsCSL-LICS
- 14 July 2014
TLDR
Call-by-Value Solvability, Revisited
- Beniamino Accattoli, Luca Paolini
- ChemistryFLOPS
- 23 May 2012
TLDR
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
- Beniamino Accattoli, Ugo Dal Lago
- MathematicsLog. Methods Comput. Sci.
- 6 January 2016
TLDR
An Abstract Factorization Theorem for Explicit Substitutions
- Beniamino Accattoli
- Computer Science, MathematicsRTA
- 28 May 2012
TLDR
Abstract machines for Open Call-by-Value
- Beniamino Accattoli, Giulio Guerrieri
- Computer ScienceSci. Comput. Program.
- 1 October 2019
A nonstandard standardization theorem
- Beniamino Accattoli, E. Bonelli, D. Kesner, Carlos Lombardi
- Mathematics, Computer SciencePOPL
- 8 January 2014
TLDR
On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)
- Beniamino Accattoli, Ugo Dal Lago
- Computer Science, MathematicsRTA
- 8 February 2012
TLDR
Open Call-by-Value
- Beniamino Accattoli, Giulio Guerrieri
- Computer ScienceAPLAS
- 1 September 2016
TLDR
...
...