A functional correspondence between evaluators and abstract machines.

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard

Browse the full PPDP paper archive.