John Launchbury. A Natural Semantics for Lazy Evaluation. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 144-154, 1993.
@inproceedings{Launchbury93, title = {A Natural Semantics for Lazy Evaluation}, author = {John Launchbury}, year = {1993}, tags = {laziness, semantics}, researchr = {https://researchr.org/publication/Launchbury93}, cites = {0}, citedby = {0}, pages = {144-154}, booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, }