Michael Abott
Thorsten Altenkirch
Neil Ghani
2005
Containers - Constructing Strictly Positive Types
Theoretical Computer Science
342
3–27
10.1016/j.tcs.2005.06.002
Applied Semantics: Selected Topics
J. Adámek
J. Rosický
1994
Locally Presentable and Accessible Categories
Cambridge University Press
10.1017/CBO9780511600579
Brian J. Day
1970
Construction of Biclosed Categories
University of New South Wales
G. M. Kelly
1980
A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
Bulletin of the Australian Mathematical Society
22
1–83
10.1017/S0004972700006353
Simon Marlow
2010
Haskell 2010 Language Report
Conor McBride
Ross Paterson
2008
Applicative programming with effects
Journal of Functional Programming
18
1
1–13
10.1017/S0956796807006326
Ross Paterson
2012
Constructing Applicative Functors
Mathematics of Program Construction
Lecture Notes in Computer Science
7342
Springer-Verlag
300–323
10.1007/978-3-642-31113-0_15
John C. Reynolds
1983
Types, Abstraction and Parametric Polymorphism
IFIP Congress
513–523
S. Doaitse Swierstra
Luc Duponcheel
1996
Deterministic, Error-Correcting Combinator Parsers
Advanced Functional Programming
Lecture Notes in Computer Science
1129
Springer-Verlag
184–207
10.1007/3-540-61628-4_7
Wouter Swierstra
2008
Data types à la carte
Journal of Functional Programming
18
4
423–436
10.1017/S0956796808006758
Philip Wadler
1989
Theorems for free!
Functional Programming Languages and Computer Architecture
ACM Press
347–359
10.1145/99370.99404