BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Accattoli:Beniamino

Contributed to:

LICS 20152015
ICFP 20142014
CSL-LICS 20142014
POPL 20142014
LICS 20132013
RTA 20132013
FLOPS 20122012
RTA 20122012
CSL 20102010
CSL 20092009
ESOP 20192019
PPDP 20172017
PPDP 20192019

Wrote 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.
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.
Jumping Boxes (BA, SG), pp. 55–70.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.