Andrew Moran, David Sands
Improvement in a Lazy Context: An Operational Theory for Call-by-Need
POPL, 1999.
@inproceedings{POPL-1999-MoranS, author = "Andrew Moran and David Sands", booktitle = "{Proceedings of the 26th Symposium on Principles of Programming Languages}", doi = "10.1145/292540.292547", editor = "Andrew W. Appel and Alex Aiken", isbn = "1-58113-095-3", pages = "43--56", publisher = "{ACM}", title = "{Improvement in a Lazy Context: An Operational Theory for Call-by-Need}", year = 1999, }