References

1. Walter Guttmann (2010): Lazy UTP. In: Symposium on Unifying Theories of Programming. Springer LNCS 5713, pp. 82–101, doi:10.1007/978-3-642-14521-6_6.
2. Eric C.R. Hehner (1993): A Practical Theory of Programming. Springer, doi:10.1007/978-1-4419-8596-5. Available at http://www.cs.utoronto.ca/~hehner/aPToP.
3. Peter Henderson & James H. Morris (1976): A Lazy Evaluator. In: ACM Symposium on Principles of Programming Languages, pp. 95–103, doi:10.1145/800168.811543.
4. John Hughes (1989): Why Functional Programming Matters. Computer Journal 32(2), pp. 98–107, doi:10.1093/comjnl/32.2.98.
5. Albert Y.C. Lai (2013): Eager, Lazy, and Other Executions for Predicative Programming. University of Toronto.
6. David Sands (1990): Complexity Analysis for a Lazy Higher-Order Language. In: European Symposium on Programming. Springer LNCS 432, pp. 361–376, doi:10.1007/3-540-52592-0_74.
7. David A. Turner (1979): A New Implementation Technique for Applicative Languages. Software: Practice and Experience 9(1), pp. 31–49.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org