Some collection of recommonded paper and books about Haskell, Type Theory and Category Theory
| Book Name | Author |
|---|---|
| Types & Programming Languages | Benjamin C. Pierce |
| Homotopy type theory | Univalent Foundations of Mathematics |
| Category Theory for Computer Scientists | Michel Barr & Charles Wells |
| Category Theory for Programmers | Bartosz Milewski |
| Paper Title | Author |
|---|---|
| Monads for Functional Programming | Philip Wadler |
| Notions of computation and monads | Eugenio Moggi |