diff options
Diffstat (limited to 'ref.bib')
| -rw-r--r-- | ref.bib | 74 |
1 files changed, 74 insertions, 0 deletions
@@ -26,4 +26,78 @@ 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} }
\ No newline at end of file |