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

Andrew Moran, David Sands. Improvement in a Lazy Context: An Operational Theory for Call-by-Need. In POPL. pages 43-56, 1999. [doi]

Abstract

Abstract is missing.