Improvement in a Lazy Context: An Operational Theory for Call-by-Need (1999)

by Andrew Moran, David Sands
Venue:In POPL ’99: Proceedings of the 26th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages