Distilling abstract machines.

Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza

Browse the full ICFP paper archive.