From Outermost Reduction Semantics to Abstract Machine.

Olivier Danvy, Jacob Johannsen

Browse the full LOPSTR paper archive.