Editing Lazy evaluation (section)

==Sources==
* {{cite journal
| title = Cons should not evaluate its arguments
| url = http://www.cs.indiana.edu/pub/techreports/TR44.pdf
| first1 = D. P.
| last1 = Friedman
| author-link1 = Daniel P. Friedman
| first2 = David S.
| last2 = Wise
| author-link2 = David S. Wise
| journal = Automata Languages and Programming Third International Colloquium
 |editor=S. Michaelson |editor2=R. Milner |editor2-link=Robin Milner | publisher = Edinburgh University Press
| year = 1976
}}
* {{cite book |doi=10.1145/800168.811543 |chapter=A lazy evaluator |title=Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76 |year=1976 |last1=Henderson |first1=Peter |last2=Morris |first2=James H. |pages=95–103 |s2cid=1228296 }}
* {{cite journal
| title = Conception, Evolution, and Application of Functional Programming Languages
| first = Paul
| last = Hudak
| author-link = Paul Hudak
| journal = ACM Computing Surveys
| volume = 21
| issue = 3
| date = September 1989
| pages = 383&ndash;385
| doi=10.1145/72551.72554
| s2cid = 207637854
}}
* {{cite book |doi=10.1145/158511.158618 |chapter=A natural semantics for lazy evaluation |title=Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 |year=1993 |last1=Launchbury |first1=John |pages=144–154 |isbn=0897915607 |s2cid=14945994 }}
* {{cite book |first=John C. |last=Reynolds |author-link=John C. Reynolds |title=Theories of programming languages |url=https://books.google.com/books?id=HkI01IHJMcQC&pg=PA307 |year=1998 |publisher=[[Cambridge University Press]] |isbn=9780521594141 |access-date=2016-02-23}}
* {{cite thesis
| last = Wadsworth
| first = Christopher P.
| year = 1971
| title = Semantics and Pragmatics of the Lambda Calculus
| degree = PhD
| institution = University of Oxford
}}