1. Hal Abelson, Jerry Sussman, and Julie Sussman. 1984. Structure and Interpretation of Computer Programs. MIT Press. ISBN 0-262-01077-1.
2. Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop, and Anil Madhavapeddy. 2015. Effective Concurrency through Algebraic Effects. (September 2015). OCaml Users and Developers Workshop 2015.
3. Ralf Hinze and Ross Paterson. 2003. Derivation of a Typed Functional LR Parser.
4. Graham Hutton and Erik Meijer. 1996. Monadic Parser Combinators. Technical Report NOTTCS-TR-96-4. Department of Computer Science, University of Nottingham.
5. Jun Inoue. 2014. Supercompiling with Staging. In Fourth International Valentin Turchin Workshop on Metacomputation.