Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
A functional correspondence between evaluators and abstract machines
PPDP, 2003.
@inproceedings{PPDP-2003-AgerBDM,
author = "Mads Sig Ager and Dariusz Biernacki and Olivier Danvy and Jan Midtgaard",
booktitle = "{Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming}",
doi = "10.1145/888251.888254",
isbn = "1-58113-705-2",
pages = "8--19",
publisher = "{ACM}",
title = "{A functional correspondence between evaluators and abstract machines}",
year = 2003,
}