From interpreter to logic engine by defunctionalization, in: M. Bruynooghe (Ed.), Revised Selected Papers from (2004)

by D Biernacki, O Danvy
Venue:13th Int. Symp. on Logic-Based Program Synthesis and Transformation, LOPSTR 2003, Uppsala, Aug. 2003, in: Lect. Notes in Comput. Sci