Lazy evaluation

Please expand.

References

Launchbury, John. 1993. ‘A Natural Semantics for Lazy Evaluation’. In POPL’9 3: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 144–54. ACM. https://doi.org/10.1145/158511.158618. pdf

@inproceedings{launchbury_1993,
	title = {A natural semantics for lazy evaluation},
	doi = {10.1145/158511.158618},
	booktitle = {{POPL}'9 3: {Proceedings} of the 20th {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages}},
	publisher = {ACM},
	author = {Launchbury, John},
	year = {1993},
	pages = {144--154}
}

Sestoft, Peter. 1997. ‘Deriving a Lazy Abstract Machine’. Journal of Functional Programming 7 (3): 231–64. https://doi.org/10.1017/S0956796897002712.

@article{sestoft_1997,
	title = {Deriving a lazy abstract machine},
	volume = {7},
	doi = {10.1017/S0956796897002712},
	number = {3},
	journal = {Journal of Functional Programming},
	author = {Sestoft, Peter},
	year = {1997},
	pages = {231--264}
}