@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}
}