Skip to content
Collections of papers and books about Haskell, Type Theory and Category Theory
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
books Fix link to CT for Programmers by Bartosz Milweski Oct 14, 2019
papers Added books and papers Oct 12, 2019
README.md Added Conceptual Mathematics: A First Introduction to Categories Jan 23, 2020

README.md

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

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
The Expression Problem Philip Wadler

You can’t perform that action at this time.