Improvement in a Lazy Context: An Operational Theory for Call-by-Need.

Andrew Moran, David Sands

Browse the full POPL paper archive.