Ager, Mads Sig, Dariusz Biernacki, Olivier Danvy, and Jan Midtgaard. “From Interpreter to Compiler and Virtual Machine: A Functional Derivation”. BRICS Report Series 10, no. 14 (March 6, 2003). Accessed May 10, 2024. https://tidsskrift.dk/brics/article/view/21784.