A functional correspondence between evaluators and abstract machines (2003)

Cached

Download Links

by Mads Sig Ager , Dariusz Biernacki , Olivier Danvy , Jan Midtgaard
Venue:In Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
Citations:66 - 30 self