Collections of papers and books about Haskell, Type Theory and Category Theory
165
24 commits
updated Oct 19, 2021
README
Some collection of recommonded paper and books about Haskell, Type Theory and Category Theory
Papers
| Paper Title | Author |
|---|---|
| Monads for Functional Programming | Philip Wadler |
| Notions of computation and monads | Eugenio Moggi |
| Stream Fusion. From Lists to Streams to Nothing at All (2007) | Duncan Coutts , Roman Leshchinskiy , Don Stewart |
| Composable Memory Transactions | Simon Peyton Jones |
| Towards Haskell in the Cloud | Jeff Epstein, Andrew Black, and Simon Peyton Jone |
| Henk: a typed intermediate language & Tutorial introduction to the lambda cube | E Meijer, Simon Peyton Jones |
| Why Functional Programming Matters | John Hughes |
| Functional Programming with Overloading and Higher-Order Polymorphism | Mark P Jones |
| Generalising Monads to Arrows | John Hughes |
| Composing monads | Mark P. Jones, Luc Duponcheel |
| QuickCheck: A Lightweight Tool for Random Testing of Haskell | John Hughes |
Books
| Book Name | Author |
|---|---|
| Types & Programming Languages | Benjamin C. Pierce |
| Category Theory for Computer Scientists | Michel Barr & Charles Wells |
| Category Theory for Programmers | Bartosz Milewski |
| Category Theory for Scientists (draft version) | David Spivak |
| Seven Sketches in Compositionality | David Spivak |
| Categories for the Working Mathematician | Saunders Mac Lane |
| Conceptual Mathematics: A First Introduction to Categories | Stephen Schanuel and William Lawvere |
Technical Essays and Articles
| Title | Author |
|---|---|
| Communicating Haskell Processes tutorial | Neil C. C. Brown |
| The Expression Problem | Philip Wadler |
Contributors
saurabhkukade
24 commits
Similar repos
Collections of papers and books about Haskell, Type Theory and Category Theory
165
24 commits
updated Oct 19, 2021
README
Some collection of recommonded paper and books about Haskell, Type Theory and Category Theory
Papers
| Paper Title | Author |
|---|---|
| Monads for Functional Programming | Philip Wadler |
| Notions of computation and monads | Eugenio Moggi |
| Stream Fusion. From Lists to Streams to Nothing at All (2007) | Duncan Coutts , Roman Leshchinskiy , Don Stewart |
| Composable Memory Transactions | Simon Peyton Jones |
| Towards Haskell in the Cloud | Jeff Epstein, Andrew Black, and Simon Peyton Jone |
| Henk: a typed intermediate language & Tutorial introduction to the lambda cube | E Meijer, Simon Peyton Jones |
| Why Functional Programming Matters | John Hughes |
| Functional Programming with Overloading and Higher-Order Polymorphism | Mark P Jones |
| Generalising Monads to Arrows | John Hughes |
| Composing monads | Mark P. Jones, Luc Duponcheel |
| QuickCheck: A Lightweight Tool for Random Testing of Haskell | John Hughes |
Books
| Book Name | Author |
|---|---|
| Types & Programming Languages | Benjamin C. Pierce |
| Category Theory for Computer Scientists | Michel Barr & Charles Wells |
| Category Theory for Programmers | Bartosz Milewski |
| Category Theory for Scientists (draft version) | David Spivak |
| Seven Sketches in Compositionality | David Spivak |
| Categories for the Working Mathematician | Saunders Mac Lane |
| Conceptual Mathematics: A First Introduction to Categories | Stephen Schanuel and William Lawvere |
Technical Essays and Articles
| Title | Author |
|---|---|
| Communicating Haskell Processes tutorial | Neil C. C. Brown |
| The Expression Problem | Philip Wadler |
Similar repos
Contributors
saurabhkukade
24 commits