Ager, M. S.; Biernacki, D.; Danvy, O.; Midtgaard, J. From Interpreter to Compiler and Virtual Machine: A Functional Derivation. BRICS 2003, 10.