cain.bib

@book{adamek-et-al-1990,
  author       = {Jiří Adámek and Horst Herrlich and George E. Strecker},
  title        = {Abstract and Concrete Categories},
  subtitle     = {The Joy of Cats},
  date         = {1990},
  publisher    = {Wiley},
}

@book{adamek-et-al-2006,
  author       = {Jiří Adámek and Horst Herrlich and George E. Strecker},
  title        = {Abstract and Concrete Categories},
  subtitle     = {The Joy of Cats},
  date         = {2006},
  series       = {Reprints in Theory and Applications of Categories},
  number       = {17},
  related      = {adamek-et-al-1990},
  relatedtype  = {reprintof},
}

@online{agda,
  author       = {{The Agda Team}},
  sortname     = {Agda Team, The},
  title        = {The Agda Wiki},
  date         = {2014},
  url          = {http://wiki.portal.chalmers.se/agda/},
}

@book{awodey-2010,
  author       = {Steve Awodey},
  title        = {Category Theory},
  date         = {2010},
  edition      = {2},
  volume       = {52},
  series       = {Oxford Logic Guides},
  publisher    = {Oxford University Press},
}

@book{barr-wells-1999,
  author       = {Michael Barr and Charles Wells},
  title        = {Category Theory for Computing Science},
  date         = {1999},
  edition      = {3},
  publisher    = {Centre de recherches mathématiques},
}

@book{barr-wells-1984,
  author       = {Michael Barr and Charles Wells},
  title        = {Toposes, Triples and Theories},
  date         = {1984},
  volume       = {278},
  series       = {Grundlehren der mathematischen Wissenschaften},
  publisher    = {Springer},
}

@book{barr-wells-2005,
  author       = {Michael Barr and Charles Wells},
  title        = {Toposes, Triples and Theories},
  date         = {2005},
  series       = {Reprints in Theory and Applications of Categories},
  number       = {12},
  related      = {barr-wells-1984},
  relatedtype  = {reprintof},
}

@book{barr-wells-2012,
  author       = {Michael Barr and Charles Wells},
  title        = {Category Theory for Computing Science},
  date         = {2012},
  series       = {Reprints in Theory and Applications of Categories},
  number       = {22},
  related      = {barr-wells-1999},
  relatedtype  = {reprintof},
}

@inbook{baudelaire-1857,
  author       = {Charles Baudelaire},
  title        = {Abel et Caïn},
  booktitle    = {Le Fleurs du mal},
  date         = {1857},
  publisher    = {Poulet-Malassis et de Broise},
  pagination   = {verse},
}

@article{bernardy-et-al-2012,
  author       = {Jean-Philippe Bernardy and Patrik Jansson and Ross Paterson},
  title        = {Proofs for Free},
  subtitle     = {Parametricity for Dependent Types},
  journaltitle = {Journal of Functional Programming},
  date         = {2012},
  volume       = {22},
  number       = {2},
  pages        = {107--152},
}

@book{bird-demoor-1997,
  author       = {Richard Bird and Oege {de Moor}},
  title        = {Algebra of Programming},
  date         = {1997},
  volume       = {100},
  series       = {Prentice Hall International Series in Computer Science},
  publisher    = {Prentice Hall},
}

@inproceedings{bove-dybjer-2009,
  crossref     = {lncs-5520},
  author       = {Ana Bove and Peter Dybjer},
  title        = {Dependent Types at Work},
  pages        = {57--99},
}

@article{cardelli-wegner-1985,
  author       = {Luca Cardelli and Peter Wegner},
  title        = {On Understanding Types, Data Abstraction, and Polymorphism},
  journaltitle = {Computing Surveys},
  date         = {1985},
  volume       = {17},
  number       = {4},
  pages        = {471--522},
}

@book{carroll-2004,
  author       = {Lewis Carroll},
  title        = {Alice's Adventures in Wonderland and Through the Looking-Glass},
  date         = {2004},
  series       = {Barnes \& Noble Classics},
  publisher    = {Barnes \& Noble},
}

@misc{danielsson-2013,
  author       = {Nils Anders Danielsson and others},
  title        = {The {A}gda standard library},
  version      = {0.7},
  date         = {2013-01-29},
  url          = {http://wiki.portal.chalmers.se/agda/},
  urldate      = {2014-04-03},
}

@article{eilenberg-maclane-1942,
  author       = {Samuel Eilenberg and Saunders MacLane},
  title        = {Group Extensions and Homology},
  journaltitle = {Annals of Mathematics},
  date         = {1942-10},
  volume       = {43},
  number       = {4},
  pages        = {757--831},
}

@article{eilenberg-maclane-1945,
  author       = {Samuel Eilenberg and Saunders MacLane},
  title        = {General Theory of Natural Equivalences},
  journaltitle = {Transactions of the American Mathematical Society},
  date         = {1945-09},
  volume       = {58},
  number       = {2},
  pages        = {231--294},
}

@article{elkins-2009,
  author       = {Derek Elkins},
  title        = {Calculating Monads with Category Theory},
  journaltitle = {The Monad.Reader},
  date         = {2009},
  number       = {13},
  pages        = {73--91},
}

@book{god-1769,
  author       = {God},
  title        = {Bible},
  titleaddon   = {King James Version},
  date         = {1769},
}

@article{goguen-1991,
  author       = {Joseph A. Goguen},
  title        = {A Categorical Manifesto},
  journaltitle = {Mathematical Structures in Computer Science},
  date         = {1991},
  volume       = {1},
  number       = {1},
  pages        = {49--67},
}

@inproceedings{hudak-et-al-2007,
  author       = {Paul Hudak and John Hughes and Peyton Jones, Simon and Philip Wadler},
  date         = {2007},
  title        = {A History of Haskell: Being Lazy with Class},
  eventtitle   = {History of Programming Languages},
  eventdate    = {2007},
  publisher    = {ACM},
  pages        = {12.1--12.55},
}

@article{hutton-1999,
  author       = {Graham Hutton},
  title        = {A Tutorial on the Universality and Expressiveness of Fold},
  journaltitle = {Journal of Functional Programming},
  date         = {1999},
  volume       = {9},
  number       = {4},
  pages        = {355--372},
}

@inproceedings{jeuring-et-al-2012,
  author       = {Johan Jeuring and Patrik Jansson and Cláudio Amaral},
  title        = {Testing Type Class Laws},
  date         = {2012},
  eventtitle   = {Haskell Symposium},
  eventdate    = {2012},
  publisher    = {ACM},
  pages        = {49--60},
}

@misc{kmett-2012,
  author       = {Edward A. Kmett},
  title        = {The \texttt{void} package},
  version      = {0.5.6},
  date         = {2012},
  url          = {http://hackage.haskell.org/package/void-0.5.6},
  urldate      = {2014-03-13},
}

@misc{kmett-2014,
  author       = {Edward A. Kmett},
  title        = {The \texttt{semigroupoids} package},
  version      = {4.0.1},
  date         = {2014},
  url          = {http://hackage.haskell.org/package/semigroupoids-4.0.1},
  urldate      = {2014-03-29},
}

@book{leibniz-1714,
  author       = {Gottfried Wilhelm Leibniz},
  title        = {Monadologie},
  date         = {1714},
  pagination   = {paragraph},
}

@book{lipovaca-2011,
  author       = {Miran Lipovača},
  title        = {Learn You a {H}askell for Great Good!},
  subtitle     = {A Beginner's Guide},
  date         = {2011},
  publisher    = {No Starch Press},
  url          = {http://learnyouahaskell.com},
}

@proceedings{lncs-201,
  editor       = {Jean-Pierre Jouannaud},
  date         = {1985},
  eventtitle   = {Functional Programming Languages and Computer Architecture},
  eventdate    = {1985},
  series       = {LNCS},
  number       = {201},
  publisher    = {Springer},
}

@proceedings{lncs-240,
  editor       = {David Pitt and Samson Abramsky and Axel Poigné and David Rydeheard},
  date         = {1986},
  eventtitle   = {Category Theory and Computer Programming},
  eventdate    = {1985},
  series       = {LNCS},
  number       = {240},
  publisher    = {Springer},
}

@proceedings{lncs-523,
  editor       = {John Hughes},
  date         = {1991},
  eventtitle   = {Functional Programming Languages and Computer Architecture},
  eventdate    = {1991},
  series       = {LNCS},
  number       = {523},
  publisher    = {Springer},
}

@proceedings{lncs-5520,
  editor       = {Ana Bove and Luís Soares Barbosa and Alberto Pardo and Jorge Sousa Pinto},
  date         = {2009},
  eventtitle   = {Language Engineering and Rigorous Software Development},
  eventdate    = {2008},
  series       = {LNCS},
  number       = {5520},
  publisher    = {Springer},
}

@proceedings{lncs-5832,
  editor       = {Pieter Koopman and Rinus Plasmeijer and Doaitse Swierstra},
  date         = {2009},
  eventtitle   = {Advanced Functional Programming},
  eventdate    = {2008},
  series       = {LNCS},
  number       = {5832},
  publisher    = {Springer},
}

@book{maclane-1998,
  author       = {Saunders {Mac Lane}},
  title        = {Categories for the Working Mathematician},
  date         = {1998},
  edition      = {2},
  volume       = {5},
  series       = {Graduate Texts in Mathematics},
  publisher    = {Springer},
}

@book{manes-1976,
  author       = {Ernest G. Manes},
  title        = {Algebraic Theories},
  date         = {1976},
  volume       = {26},
  series       = {Graduate Texts in Mathematics},
  publisher    = {Springer},
}

@book{marlow-2010,
  editor       = {Simon Marlow},
  title        = {Haskell 2010 Language Report},
  date         = {2010},
  url          = {http://www.haskell.org/onlinereport/haskell2010/},
}

@incollection{marquis-2013,
  author       = {Jean-Pierre Marquis},
  title        = {Category Theory},
  date         = {2013},
  booktitle    = {Stanford Encyclopedia of Philosophy},
  editor       = {Edward N. Zalta},
  edition      = {Summer 2013 Edition},
  url          = {http://plato.stanford.edu/entries/category-theory},
  publisher    = {Metaphysics Research Lab},
}

@article{mcbride-paterson-2008,
  author       = {Conor McBride and Ross Paterson},
  title        = {Applicative Programming with Effects},
  journaltitle = {Journal of Functional Programming},
  date         = {2008},
  volume       = {18},
  number       = {1},
  pages        = {1--13},
}

@inproceedings{meijer-fokkinga-paterson-1991,
  crossref     = {lncs-523},
  author       = {Erik Meijer and Maarten Fokkinga and Ross Paterson},
  title        = {Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire},
  pages        = {124--144},
}

@inproceedings{milner-1984,
  author       = {Robin Milner},
  title        = {A Proposal for Standard {ML}},
  date         = {1984},
  eventtitle   = {LISP and Functional Programming},
  eventdate    = {1984},
  publisher    = {ACM},
  pages        = {184--197},
}

@techreport{moggi-1989,
  author       = {Eugenio Moggi},
  title        = {An Abstract View of Programming Languages},
  date         = {1989},
  institution  = {University of Edinburgh},
}

@article{moggi-1991,
  author       = {Eugenio Moggi},
  title        = {Notions of Computation and Monads},
  journaltitle = {Information and Computation},
  date         = {1991},
  volume       = {93},
  number       = {1},
  pages        = {55--92},
}

@online{nlab-category-theory,
  author       = {$n$Lab},
  title        = {Category theory},
  date         = {2014-03-10},
  version      = {212},
  url          = {http://ncatlab.org/nlab/show/category+theory},
  urldate      = {2014-04-03},
}

@phdthesis{norell-2007,
  author       = {Ulf Norell},
  title        = {Towards a Practical Programming Language Based on Dependent Type Theory},
  institution  = {Chalmers University of Technology and University of Gothenburg},
  date         = {2007},
}

@inproceedings{norell-2009,
  crossref     = {lncs-5832},
  author       = {Ulf Norell},
  title        = {Dependently Typed Programming in Agda},
  pages        = {230--266},
}

@book{osullivan-et-al-2008,
  author       = {Bryan O'Sullivan and John Goerzen and Don Stewart},
  title        = {Real World {H}askell},
  date         = {2008},
  publisher    = {O'Reilly Media},
  url          = {http://book.realworldhaskell.org},
}

@book{peytonjones-2003,
  editor       = {Simon {Peyton Jones}},
  title        = {Haskell 98 Language and Libraries},
  subtitle     = {The Revised Report},
  date         = {2003},
  publisher    = {Cambridge University Press},
}

@book{pierce-1991,
  author       = {Benjamin C. Pierce},
  title        = {Basic Category Theory for Computer Scientists},
  date         = {1991},
  series       = {Foundations of Computing},
  publisher    = {MIT Press},
}

@inproceedings{pitt-1986,
  crossref     = {lncs-240},
  author       = {David Pitt},
  title        = {Categories},
  pages        = {6--15},
}

@incollection{poigne-1992,
  author       = {Axel Poigné},
  title        = {Basic Category Theory},
  date         = {1992},
  booktitle    = {Handbook of Logic in Computer Science},
  editor       = {S. Abramsky and Dov M. Gabbay and T. S. E. Maibaum},
  volume       = {1 (Background: Mathematical Structures)},
  publisher    = {Clarendon Press},
  pages        = {413--640},
}

@inproceedings{rydeheard-1986,
  crossref     = {lncs-240},
  author       = {David E. Rydeheard},
  title        = {Functors and Natural Transformations},
  pages        = {43--50},
}

@inproceedings{rydeheard-1986-adjunctions,
  crossref     = {lncs-240},
  author       = {David E. Rydeheard},
  title        = {Adjunctions},
  pages        = {51--57},
}

@book{rydeheard-burstall-1988,
  author       = {David E. Rydeheard and R. M. Burstall},
  title        = {Computational Category Theory},
  date         = {1988},
  series       = {Prentice Hall International Series in Computer Science},
  publisher    = {Prentice Hall},
}

@book{saramago-2006,
  author       = {José Saramago},
  title        = {As Pequenas Memórias},
  date         = {2006},
  publisher    = {Caminho},
}

@book{saramago-2008,
  author       = {José Saramago},
  title        = {A Viagem do Elefante},
  date         = {2008},
  publisher    = {Caminho},
}

@phdthesis{sicardramirez-2014,
  author       = {Andrés Sicard-Ramírez},
  title        = {Reasoning about Functional Programs by Combining Interactive and Automatic Proofs},
  institution  = {Universidad de la República},
  date         = {2014},
  pubstate     = {inpreparation},
}

@book{sturrock-2010,
  author       = {Donald Sturrock},
  title        = {Storyteller},
  subtitle     = {The Authorized Biography of Roald Dahl},
  date         = {2010},
  publisher    = {Simon \& Schuster},
}

@inproceedings{turner-1985,
  crossref     = {lncs-201},
  author       = {D. A. Turner},
  title        = {Miranda: A Non-strict Functional Language with Polymorphic Types},
  pages        = {1--16},
}

@phdthesis{vene-2000,
  author       = {Varmo Vene},
  title        = {Categorical Programming with Inductive and Coinductive Types},
  institution  = {University of Tartu},
  date         = {2000},
}

@inproceedings{wadler-1989,
  author       = {Philip Wadler},
  date         = {1989},
  title        = {Theorems for Free!},
  eventtitle   = {Functional Programming Languages and Computer Architecture},
  eventdate    = {1989},
  publisher    = {ACM Press},
  pages        = {347--359},
}

@online{weisstein-mathworld,
  editor       = {Eric W. Weisstein},
  title        = {Wolfram MathWorld},
  url          = {http://mathworld.wolfram.com},
  urldate      = {2014-04-03},
}

@book{wolfram-2002,
  author       = {Stephen Wolf\-ram},
  title        = {A New Kind of Science},
  date         = {2002},
  publisher    = {Wolfram Media},
}

@article{yorgey-2009,
  author       = {Brent Yorgey},
  title        = {The Typeclassopedia},
  journaltitle = {The Monad.Reader},
  date         = {2009},
  number       = {13},
  pages        = {17--68},
  url          = {http://www.haskell.org/haskellwiki/Typeclassopedia},
}