@article(containers,
 author       = "Michael Abott and Thorsten Altenkirch and Neil Ghani",
 year         = "2005",
 title        = "Containers - Constructing Strictly Positive Types",
 journal      = "Theoretical Computer Science",
 volume       = "342",
 pages        = "3--27",
 doi          = "10.1016/j.tcs.2005.06.002",
 note         = "Applied Semantics: Selected Topics",
)
@book(adamek,
 author       = "J. Ad{\'a}mek and J. Rosick{\'y}",
 year         = "1994",
 title        = "Locally Presentable and Accessible Categories",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511600579",
)
@phdthesis(day_thesis,
 author       = "Brian J. Day",
 year         = "1970",
 title        = "Construction of Biclosed Categories",
 school       = "University of New South Wales",
)
@article(kelly_transfinite,
 author       = "G. M. Kelly",
 year         = "1980",
 title        = "A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on",
 journal      = "Bulletin of the Australian Mathematical Society",
 volume       = "22",
 pages        = "1--83",
 doi          = "10.1017/S0004972700006353",
)
@misc(haskell2010,
 author       = "Simon Marlow",
 year         = "2010",
 title        = "Haskell 2010 Language Report",
)
@article(applicative,
 author       = "Conor McBride and Ross Paterson",
 year         = "2008",
 title        = "Applicative programming with effects",
 journal      = "Journal of Functional Programming",
 volume       = "18",
 number       = "1",
 pages        = "1--13",
 doi          = "10.1017/S0956796807006326",
)
@inproceedings(constructing_applicatives,
 author       = "Ross Paterson",
 year         = "2012",
 title        = "Constructing Applicative Functors",
 booktitle    = "Mathematics of Program Construction",
 series       = "Lecture Notes in Computer Science",
 volume       = "7342",
 publisher    = "Springer-Verlag",
 pages        = "300--323",
 doi          = "10.1007/978-3-642-31113-0\_15",
)
@inproceedings(abstraction,
 author       = "John C. Reynolds",
 year         = "1983",
 title        = "Types, Abstraction and Parametric Polymorphism",
 booktitle    = "IFIP Congress",
 pages        = "513--523",
)
@inproceedings(arrow_parsers,
 author       = "S. Doaitse Swierstra and Luc Duponcheel",
 year         = "1996",
 title        = "Deterministic, Error-Correcting Combinator Parsers",
 booktitle    = "Advanced Functional Programming",
 series       = "Lecture Notes in Computer Science",
 volume       = "1129",
 publisher    = "Springer-Verlag",
 pages        = "184--207",
 doi          = "10.1007/3-540-61628-4\_7",
)
@article(data_types_a_la_carte,
 author       = "Wouter Swierstra",
 year         = "2008",
 title        = "Data types \`a la carte",
 journal      = "Journal of Functional Programming",
 volume       = "18",
 number       = "4",
 pages        = "423--436",
 doi          = "10.1017/S0956796808006758",
)
@inproceedings(free_theorems,
 author       = "Philip Wadler",
 year         = "1989",
 title        = "Theorems for free!",
 booktitle    = "Functional Programming Languages and Computer Architecture",
 publisher    = "ACM Press",
 pages        = "347--359",
 doi          = "10.1145/99370.99404",
)