On Laziness and Optimality (1990)

by J Field
Venue:in Lambda Interpreters, ACM Conference on Principle of Programming Languages