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]

@inproceedings{AgerBDM03,
  title = {A functional correspondence between evaluators and abstract machines},
  author = {Mads Sig Ager and Dariusz Biernacki and Olivier Danvy and Jan Midtgaard},
  year = {2003},
  doi = {10.1145/888251.888254},
  url = {http://doi.acm.org/10.1145/888251.888254},
  tags = {abstract machine},
  researchr = {https://researchr.org/publication/AgerBDM03},
  cites = {0},
  citedby = {0},
  pages = {8-19},
  booktitle = {Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden},
  publisher = {ACM},
  isbn = {1-58113-705-2},
}