From interpreter to logic engine by defunctionalization (2003)

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