Biernacki, D., & Danvy, O. (2003). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series, 10(25). https://doi.org/10.7146/brics.v10i25.21954