From Interpreter to Logic Engine by Defunctionalization.

Dariusz Biernacki, Olivier Danvy

Browse the full LOPSTR paper archive.