- Collections of papers and books about Haskell, Type Theory and Category Theory https://github.com/saurabhkukade/haskell_study 6 comments haskell
- Github repo for books and paper on Haskell, Type Theory and Category Theory https://github.com/saurabhkukade/haskell_study 11 comments haskell
Linked pages
- http://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf 312 comments
- http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf 52 comments
- http://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf 38 comments
- http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf 25 comments
- Textbook | Category Theory for Scientists | Mathematics | MIT OpenCourseWare http://ocw.mit.edu/courses/mathematics/18-s996-category-theory-for-scientists-spring-2013/textbook/MIT18_S996S13_textbook.pdf 11 comments
- http://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt 5 comments
- https://math.mit.edu/~dspivak/teaching/sp18/7sketches.pdf 3 comments
- https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/henk.pdf 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - saurabhkukade/Haskell_Study: Collections of papers and books about Haskell, Type Theory and Category Theory
See how to search.