From interpreter to compiler and virtual machine: a functional derivation (2003)

by Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard