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.
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.
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.
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.
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.
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.
Gregory Kelly & Ross Street (1974):
Review of the elements of 2-categories,
pp. 75–103 420.
Springer Berlin / Heidelberg,
doi:10.1007/BFb0063101.
Conor McBride & Ross Paterson (2008):
Applicative programming with effects.
Journal of Functional Programming 18(01),
pp. 1–13,
doi:10.1017/S0956796807006326.
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.