A Functional Correspondence between Evaluators and Abstract Machines (2003)

by M S Ager, D Biernacki, O Danvy, J Midtgaard
Venue:Proceedings of PPDP’03