From Interpreter to Compiler and Virtual Machine: A Functional Derivation (2003)

by M S Ager, D Biernacki, O Danvy, J Midtgaard
Venue:Basic Research in Computer Science (BRICS