Biernacki, Dariusz, and Olivier Danvy. 2004. “From Interpreter to Logic Engine by Defunctionalization”. BRICS Report Series 11 (5). https://doi.org/10.7146/brics.v11i5.21830.