A functional correspondence between evaluators and abstract machines

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard. A functional correspondence between evaluators and abstract machines. In Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden. pages 8-19, ACM, 2003. [doi]

Authors

Mads Sig Ager

This author has not been identified. Look up 'Mads Sig Ager' in Google

Dariusz Biernacki

This author has not been identified. Look up 'Dariusz Biernacki' in Google

Olivier Danvy

Identified as Olivier Danvy

Jan Midtgaard

This author has not been identified. Look up 'Jan Midtgaard' in Google