A Natural Semantics for Lazy Evaluation (1993)

by J Launchbury
Venue:In Principles of Programming Languages (POPL’93). ACM