1. Michael Abbott, Thorsten Altenkirch & Neil Ghani (2003): Categories of Containers. In: Proceedings of Foundations of Software Science and Computation Structures, pp. 23–38, doi:10.1007/3-540-36576-1_2.
  2. Michael Abbott, Thorsten Altenkirch, Neil Ghani & Conor McBride (2004): Constructing Polymorphic Programs with Quotient Types. In: 7th International Conference on Mathematics of Program Construction (MPC 2004), pp. 2–15, doi:10.1007/978-3-540-27764-4_2.
  3. Michael Barr (2005): Beck Distributivity. Available at
  4. Jon Beck (1969): Distributive laws. In: Seminar on Triples and Categorical Homology Theory, Lecture Notes in Mathematics 80. Springer Berlin / Heidelberg, pp. 119–140, doi:10.1007/BFb0083084.
  5. Germán A. Delbianco, Mauro Jaskelioff & Alberto Pardo (2011): Applicative Shortcut Fusion. In: Proceedings of the 12th International Symposium on Trends in Functional Programming, Madrid, Spain.
  6. Nicola Gambino & Martin Hyland (2004): Wellfounded Trees and Dependent Polynomial Functors. Lecture Notes in Computer Science 3085. Springer Berlin / Heidelberg, pp. 210–225, doi:10.1007/978-3-540-24849-1_14.
  7. Jeremy Gibbons & Richard Bird (2011): Effective Reasoning about Effectful Traversals. Available at Submitted for publication.
  8. Jeremy Gibbons & Bruno c. d. s. Oliveira (2009): The essence of the iterator pattern. Journal of Functional Programming 19, pp. 377–402, doi:10.1017/S0956796809007291.
  9. Gregory Kelly & Ross Street (1974): Review of the elements of 2-categories, pp. 75–103 420. Springer Berlin / Heidelberg, doi:10.1007/BFb0063101.
  10. Conor McBride & Ross Paterson (2008): Applicative programming with effects. Journal of Functional Programming 18(01), pp. 1–13, doi:10.1017/S0956796807006326.
  11. Eugenio Moggi, Giana Bellè & C. Barry Jay (1999): Monads, Shapely Functors and Traversals. Electronic Notes in Theoretical Computer Science 29, pp. 187 – 208, doi:10.1016/S1571-0661(05)80316-0. CTCS '99, Conference on Category Theory and Computer Science.
  12. Ondřej Rypáček (2010): Distributive Laws in Programming Structures. University of Nottingham. Available at
  13. Zoran Skoda (2004): Distributive laws for actions of monoidal categories. arXiv:math/0406310v2. Available at

Comments and questions to:
For website issues: