Biernacki, D., & Danvy, O. (2004). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series, 11(5). https://doi.org/10.7146/brics.v11i5.21830