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

by Andrew Moran , David Sands
Venue:Proc. POPL'99, ACM
Citations:38 - 7 self