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,
}











