Jan 1993a], "A natural semantics for lazy evaluation (0)

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