@inproceedings(alti:fossacs03,
 author       = "Michael Abbott and Thorsten Altenkirch and Neil Ghani",
 year         = "2003",
 title        = "Categories of Containers",
 booktitle    = "Proceedings of Foundations of Software Science and Computation Structures",
 pages        = "23--38",
 doi          = "10.1007/3-540-36576-1\_2",
)
@inproceedings(alti:mpc04,
 author       = "Michael Abbott and Thorsten Altenkirch and Neil Ghani and Conor McBride",
 year         = "2004",
 title        = "Constructing Polymorphic Programs with Quotient Types",
 booktitle    = "7th International Conference on Mathematics of Program Construction (MPC 2004)",
 pages        = "2--15",
 doi          = "10.1007/978-3-540-27764-4\_2",
)
@misc(barr:beck-distributivity,
 author       = "Michael Barr",
 year         = "2005",
 title        = "Beck Distributivity",
 url          = "ftp://ftp.math.mcgill.ca/barr/pdffiles/distlaw.pdf",
)
@incollection(beck:distributivity,
 author       = "Jon Beck",
 year         = "1969",
 title        = "Distributive laws",
 booktitle    = "Seminar on Triples and Categorical Homology Theory",
 series       = "Lecture Notes in Mathematics",
 volume       = "80",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "119--140",
 doi          = "10.1007/BFb0083084",
)
@inproceedings(DJPTFP:2011,
 author       = "Germ\'an A. Delbianco and Mauro Jaskelioff and Alberto Pardo",
 year         = "2011",
 title        = "{Applicative Shortcut Fusion}",
 booktitle    = "Proceedings of the 12th International Symposium on Trends in Functional Programming",
 address      = "Madrid, Spain",
)
@incollection(gambino04:wellfounded-trees,
 author       = "Nicola Gambino and Martin Hyland",
 year         = "2004",
 title        = "Wellfounded Trees and Dependent Polynomial Functors",
 series       = "Lecture Notes in Computer Science",
 volume       = "3085",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "210--225",
 doi          = "10.1007/978-3-540-24849-1\_14",
)
@unpublished(backwards,
 author       = "Jeremy Gibbons and Richard Bird",
 year         = "2011",
 title        = "Effective Reasoning about Effectful Traversals",
 url          = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/backwards.pdf",
 note         = "Submitted for publication",
)
@article(Gibbons.Oliveira.Iterator,
 author       = "Jeremy Gibbons and Bruno c. d. s. Oliveira",
 year         = "2009",
 title        = "The essence of the iterator pattern",
 journal      = "Journal of Functional Programming",
 volume       = "19",
 pages        = "377--402",
 doi          = "10.1017/S0956796809007291",
)
@inbook(kelly74:elements-of-2categories,
 author       = "Gregory Kelly and Ross Street",
 year         = "1974",
 title        = "Review of the elements of 2-categories",
 pages        = "75--103",
 volume       = "420",
 publisher    = "Springer Berlin / Heidelberg",
 doi          = "10.1007/BFb0063101",
)
@article(mcbride08:applicative-programming,
 author       = "Conor McBride and Ross Paterson",
 year         = "2008",
 title        = "Applicative programming with effects",
 journal      = "Journal of Functional Programming",
 volume       = "18",
 number       = "01",
 pages        = "1--13",
 doi          = "10.1017/S0956796807006326",
)
@article(MoggiBJ99,
 author       = "Eugenio Moggi and Giana Bell{\`e} and C. Barry Jay",
 year         = "1999",
 title        = "Monads, Shapely Functors and Traversals",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "29",
 pages        = "187 -- 208",
 doi          = "10.1016/S1571-0661(05)80316-0",
 note         = "CTCS '99, Conference on Category Theory and Computer Science",
)
@phdthesis(Rypacek:2010,
 author       = "Ond\v {r}ej Ryp\'a\v {c}ek",
 year         = "2010",
 title        = "Distributive Laws in Programming Structures",
 school       = "University of Nottingham",
 url          = "http://etheses.nottingham.ac.uk/1077/",
)
@misc(skoda04:distributive-laws,
 author       = "Zoran Skoda",
 year         = "2004",
 title        = "Distributive laws for actions of monoidal categories",
 howpublished = "arXiv:math/0406310v2",
 url          = "http://arxiv.org/abs/math/0406310v2",
)