Travelled to:1 × Austria
1 × Czech Republic
1 × Portugal
1 × Sweden
1 × The Netherlands
2 × USA
3 × Japan
Collaborated with:∅ C.S.Coen U.D.Lago D.Kesner G.Guerrieri Andrea Condoluci L.Paolini S.Guerrini B.Barras P.Barenbaum D.Mazza M.Leberle E.Bonelli C.Lombardi
Talks about:abstract (4) machin (3) theorem (2) reduct (2) linear (2) invari (2) box (2) nonstandard (1) substitut (1) structur (1)
Person: Beniamino Accattoli
DBLP: Accattoli:Beniamino
Contributed to:
2015
20142014
20142013
2013
20122012
20102009
2019
20172019Wrote 15 papers:
- LICS-2015-AccattoliC #on the
- On the Relative Usefulness of Fireballs (BA, CSC), pp. 141–155.
- ICFP-2014-AccattoliBM #automaton
- Distilling abstract machines (BA, PB, DM), pp. 363–376.
- LICS-CSL-2014-AccattoliL #invariant #reduction
- β reduction is invariant, indeed (BA, UDL), p. 10.
- POPL-2014-AccattoliBKL #standard #theorem
- A nonstandard standardization theorem (BA, EB, DK, CL), pp. 659–670.
- LICS-2013-Accattoli
- Compressing Polarized Boxes (BA), pp. 428–437.
- RTA-2013-Accattoli #linear #logic #normalisation
- Linear Logic and Strong Normalization (BA), pp. 39–54.
- FLOPS-2012-AccattoliP #call-by #revisited
- Call-by-Value Solvability, Revisited (BA, LP), pp. 4–16.
- RTA-2012-Accattoli #theorem
- An Abstract Factorization Theorem for Explicit Substitutions (BA), pp. 6–21.
- RTA-2012-AccattoliL #cost analysis #on the #reduction
- On the Invariance of the Unitary Cost Model for Head Reduction (BA, UDL), pp. 22–37.
- CSL-2010-AccattoliK #λ-calculus
- The Structural λ-Calculus (BA, DK), pp. 381–395.
- CSL-2009-AccattoliG
- Jumping Boxes (BA, SG), pp. 55–70.
- ESOP-2019-AccattoliGL
- Types by Need (BA, GG, ML), pp. 410–439.
- PPDP-2017-AccattoliB #automaton #complexity
- Environments and the complexity of abstract machines (BA, BB), pp. 4–16.
- PPDP-2019-AccattoliCGC #automaton
- Crumbling Abstract Machines (BA, AC, GG, CSC), p. 15.
- PPDP-2019-CondoluciAC #linear #similarity
- Sharing Equality is Linear (AC, BA, CSC), p. 14.