@inproceedings(DBLP:conf/rta/Accattoli12,
 author       = {Beniamino Accattoli},
 year         = {2012},
 title        = {An Abstract Factorization Theorem for Explicit Substitutions},
 booktitle    = {RTA},
 pages        = {6--21},
 url          = {http://dx.doi.org/10.4230/LIPIcs.RTA.2012.6},
)
@inproceedings(DBLP:conf/wollic/Accattoli16,
 author       = {Beniamino Accattoli},
 year         = {2016},
 title        = {The Useful MAM, a Reasonable Implementation of the Strong {$\lambda$}-Calculus},
 booktitle    = {WoLLIC 2016},
 pages        = {1--21},
 url          = {http://dx.doi.org/10.1007/978-3-662-52921-8_1},
)
@inproceedings(DBLP:conf/icfp/AccattoliBM14,
 author       = {Beniamino Accattoli and Pablo Barenbaum and Damiano Mazza},
 year         = {2014},
 title        = {Distilling abstract machines},
 booktitle    = {ICFP 2014},
 pages        = {363--376},
 url          = {http://doi.acm.org/10.1145/2628136.2628154},
)
@inproceedings(DBLP:conf/aplas/AccattoliBM15,
 author       = {Beniamino Accattoli and Pablo Barenbaum and Damiano Mazza},
 year         = {2015},
 title        = {A Strong Distillery},
 booktitle    = {{APLAS} 2015},
 pages        = {231--250},
 url          = {http://dx.doi.org/10.1007/978-3-319-26529-2_13},
)
@inproceedings(DBLP:conf/popl/AccattoliBKL14,
 author       = {Beniamino Accattoli and Eduardo Bonelli and Delia Kesner and Carlos Lombardi},
 year         = {2014},
 title        = {A nonstandard standardization theorem},
 booktitle    = {POPL},
 pages        = {659--670},
 url          = {http://doi.acm.org/10.1145/2535838.2535886},
)
@inproceedings(DBLP:conf/wollic/AccattoliC14,
 author       = {Beniamino Accattoli and Claudio~Sacerdoti Coen},
 year         = {2014},
 title        = {On the Value of Variables},
 booktitle    = {{WoLLIC} 2014},
 pages        = {36--50},
 url          = {http://dx.doi.org/10.1007/978-3-662-44145-9_3},
)
@inproceedings(DBLP:conf/lics/AccattoliC15,
 author       = {Beniamino Accattoli and Claudio~Sacerdoti Coen},
 year         = {2015},
 title        = {On the Relative Usefulness of Fireballs},
 booktitle    = {{LICS} 2015},
 pages        = {141--155},
 url          = {http://dx.doi.org/10.1109/LICS.2015.23},
)
@inproceedings(DBLP:conf/rta/AccattoliL12,
 author       = {Beniamino Accattoli and Dal~Lago, Ugo},
 year         = {2012},
 title        = {On the Invariance of the Unitary Cost Model for Head Reduction},
 booktitle    = {RTA},
 pages        = {22--37},
 url          = {http://dx.doi.org/10.4230/LIPIcs.RTA.2012.22},
)
@inproceedings(DBLP:conf/csl/AccattoliK10,
 author       = {Beniamino Accattoli and Delia Kesner},
 year         = {2010},
 title        = {The Structural $\lambda$-Calculus},
 booktitle    = {CSL},
 pages        = {381--395},
 url          = {http://dx.doi.org/10.1007/978-3-642-15205-4_30},
)
@inproceedings(DBLP:conf/csl/AccattoliL14,
 author       = {Beniamino Accattoli and Ugo~Dal Lago},
 year         = {2014},
 title        = {Beta reduction is invariant, indeed},
 booktitle    = {{CSL-LICS} '14},
 pages        = {8:1--8:10},
 url          = {http://doi.acm.org/10.1145/2603088.2603105},
)
@inproceedings(DBLP:conf/fpca/BlellochG95,
 author       = {Guy~E. Blelloch and John Greiner},
 year         = {1995},
 title        = {Parallelism in Sequential Functional Languages},
 booktitle    = {{FPCA}},
 pages        = {226--237},
 url          = {http://doi.acm.org/10.1145/224164.224210},
)
@inproceedings(DBLP:conf/cie/LagoM06,
 author       = {Dal~Lago, Ugo and Simone Martini},
 year         = {2006},
 title        = {An Invariant Cost Model for the Lambda Calculus},
 booktitle    = {CiE 2006},
 pages        = {105--114},
 url          = {http://dx.doi.org/10.1007/11780342_11},
)
@inproceedings(DBLP:conf/birthday/SandsGM02,
 author       = {David Sands and J{\"o}rgen Gustavsson and Andrew Moran},
 year         = {2002},
 title        = {Lambda Calculi and Linear Speedups},
 booktitle    = {The Essence of Computation},
 pages        = {60--84},
 url          = {http://dx.doi.org/10.1007/3-540-36377-7_4},
)