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

by Andrew Moran, David Sands
Venue:Proc. POPL'99, ACM