1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
@book{maclane,
author = {Mac Lane, Saunders},
title = {Categories for the Working Mathematician},
year = 1971,
publisher = {Springer-Verlag New York, Inc.},
langid = {english}
}
@book{joyofcats,
author = {Adámek, Jiří and Herrlich, Horst and Strecker, George},
title = {Abstract and Concrete Categories: The Joy of Cats},
year = {1990},
publisher = {John Wiley \& Sons, Inc.},
langid = {english}
}
@article{one-universe,
author = {Mac Lane, Saunders},
title = {One universe as a foundation for category theory},
year = {1969},
journaltitle = {Reports of the Midwest Category Seminar III. Lecture Notes in Mathematics},
volume = {106},
publisher = {Springer},
doi = {10.1007/BFb0059147},
langid = {english}
}
@book{riehl,
author = {Emily Riehl},
title = {Category Theory in Context},
langid = {english}
}
@thesis{types,
author = {Martins Damas, Luis Manuel},
title = {Type Assignment in Programming Languages},
year = {1984},
publisher = {University of Edinburgh},
langid = {english}
}
@paper{hindley-milner,
author = {Damas, Luis and Milner, Robin},
title = {Principal type-schemes for functional programs},
year = {1982},
publisher = {Association of Computer Machinery},
journaltitle = {Proceedings of the 9th ACM SIGPLAN-SIGACT
symposium on Principles of programming languages},
doi = {10.1145/582153.582176},
url = {https://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_types.pdf},
langid = {english}
}
@techreport{coc,
title = {{The calculus of constructions}},
author = {Coquand, Thierry and Huet, G{\'e}rard},
url = {https://inria.hal.science/inria-00076024},
number = {RR-0530},
institution = {{INRIA}},
year = {1986},
month = May,
url = {https://inria.hal.science/inria-00076024/file/RR-0530.pdf},
doi = {10.1016/0890-5401(88)90005-3}
}
@InProceedings{polynoset,
author="Reynolds, John C.",
editor="Kahn, Gilles and MacQueen, David B. and Plotkin, Gordon",
title="Polymorphism is not set-theoretic",
booktitle="Semantics of Data Types",
year="1984",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="145--156",
isbn="978-3-540-38891-3",
doi={10.1007/3-540-13346-1_7},
url={https://link.springer.com/chapter/10.1007/3-540-13346-1_7},
langid={english}
}
@paper{typeabs,
author={Reynolds, John C.},
title={Types, abstraction and parametric polymorphism},
publisher={Elvesier Science Publishers B.V.},
year={1983},
journaltitle={Information Processing},
volume={83},
url={https://www.cs.cmu.edu/afs/cs/user/jcr/ftp/typesabpara.pdf},
langid={english}
}
@paper{monads,
author={Moggi, Eugenio},
title={Notions of computation and monads},
url={https://person.dibris.unige.it/moggi-eugenio/ftp/ic91.pdf},
langid={english}
}
@online{haskmon,
author={Newbern, Jeff},
title={All About Monads: A comprehensive guide to the theory and
practice of monadic programming in Haskell, v.
1.1.0},
url={https://www.cs.rit.edu/~swm/cs561/All_About_Monads.pdf},
langid={english}
}
@online{monad-trans,
author={Shan, Chung-chieh},
title={Monad transformers},
url={http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Monad_transformers/},
urldate={2023-06-20},
langid={english}
}
|
