A functional correspondence between evaluators and abstract machines (2003)

by Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
Venue:Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP’03