A natural semantics for lazy evaluation (1993)

by J Launchbury
Venue:In Proceedings of the 20th ACM Symposium on Principles of Programming Languages