Biernacki, Dariusz, and Olivier Danvy. “From Interpreter to Logic Engine by Defunctionalization”. BRICS Report Series 10, no. 25 (June 13, 2003). Accessed January 21, 2026. https://tidsskrift.dk/brics/article/view/21954.