From interpreter to logic engine by defunctionalization (2003)

by Dariusz Biernacki, Olivier Danvy
Venue:Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003, number 3018 in Lecture Notes in Computer Science