Michael Abbott
Thorsten Altenkirch
Neil Ghani
2003
Categories of Containers
Proceedings of Foundations of Software Science and Computation Structures
23–38
10.1007/3-540-36576-1_2
Michael Abbott
Thorsten Altenkirch
Neil Ghani
Conor McBride
2004
Constructing Polymorphic Programs with Quotient Types
7th International Conference on Mathematics of Program Construction (MPC 2004)
2–15
10.1007/978-3-540-27764-4_2
Michael Barr
2005
Beck Distributivity
ftp://ftp.math.mcgill.ca/barr/pdffiles/distlaw.pdf
Jon Beck
1969
Distributive laws
Seminar on Triples and Categorical Homology Theory
Lecture Notes in Mathematics
80
Springer Berlin / Heidelberg
119–140
10.1007/BFb0083084
Germán A. Delbianco
Mauro Jaskelioff
Alberto Pardo
2011
Applicative Shortcut Fusion
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
210–225
10.1007/978-3-540-24849-1_14
Jeremy Gibbons
Richard Bird
2011
Effective Reasoning about Effectful Traversals
http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/backwards.pdf
Submitted for publication
Jeremy Gibbons
Bruno c. d. s. Oliveira
2009
The essence of the iterator pattern
Journal of Functional Programming
19
377–402
10.1017/S0956796809007291
Gregory Kelly
Ross Street
1974
Review of the elements of 2-categories
75–103
420
Springer Berlin / Heidelberg
10.1007/BFb0063101
Conor McBride
Ross Paterson
2008
Applicative programming with effects
Journal of Functional Programming
18
01
1–13
10.1017/S0956796807006326
Eugenio Moggi
Giana Bellè
C. Barry Jay
1999
Monads, Shapely Functors and Traversals
Electronic Notes in Theoretical Computer Science
29
187 – 208
10.1016/S1571-0661(05)80316-0
CTCS '99, Conference on Category Theory and Computer Science
Ondřej Rypáček
2010
Distributive Laws in Programming Structures
University of Nottingham
http://etheses.nottingham.ac.uk/1077/
Zoran Skoda
2004
Distributive laws for actions of monoidal categories
arXiv:math/0406310v2
http://arxiv.org/abs/math/0406310v2