The operational monad tutorial. The Monad.Reader Issue 15, p.37, 2010. ,
Correctness of monadic state, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.62-74, 1998. ,
DOI : 10.1145/268946.268952
Profiling for laziness, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.349-360, 2014. ,
DOI : 10.1145/2535838.2535887
A short cut to deforestation, Proceedings of the conference on Functional programming languages and computer architecture , FPCA '93, pp.223-232, 1993. ,
DOI : 10.1145/165180.165214
Why Functional Programming Matters, The Computer Journal, vol.32, issue.2, pp.98-107, 1989. ,
DOI : 10.1093/comjnl/32.2.98
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.8004
Lazy v. Yield: Incremental, Linear Pretty-Printing, APLAS, pp.190-206, 2012. ,
DOI : 10.1007/978-3-642-35182-2_14
Lazy imperative programming, Proc. of the ACM Sigplan Workshop on State in Programming Language, pp.46-56, 1993. ,
Scrap your boilerplate: A practical design pattern for generic programming, Proc. of Types in Language Design and Implementation, pp.26-37, 2003. ,
The call-by-need lambda calculus, Journal of Functional Programming, vol.8, issue.3, pp.275-317, 1998. ,
DOI : 10.1017/S0956796898003037
Semantics for Algebraic Operations, Proc. of the 17th Mathematical Foundations of Programming Semantics, 2001. ,
DOI : 10.1016/S1571-0661(04)80970-8
Notions of Computation Determine Monads, Proc. FOSSACS 2002, Lecture Notes in Computer Science 2303, pp.342-356, 2002. ,
DOI : 10.1007/3-540-45931-6_24
The Type and Effect Discipline, Information and Computation, vol.111, issue.2, pp.245-296, 1994. ,
DOI : 10.1006/inco.1994.1046
Semantics and Pragmatics of the Lambda-Calculus, 1971. ,