TY  - RPRT
TI  - Distilling Abstract Machines (Long Version)
AU  - Beniamino Accattoli
AU  - Pablo Barenbaum
AU  - Damiano Mazza
PY  - 2014
UR  - https://arxiv.org/abs/1406.2370
ID  - 1406.2370
ER  -