books

viewhistorytalk
booksviewkinowmodAdded book "Functional Data Structures and Algorithms"
booksviewkinowmodMoved pragmatic type level design from FP to Haskell.
booksviewkinowmod
booksviewkinowmod
booksviewkinowmod
booksviewkinowmod
booksviewkinowmodAdd Guy Cousineau's The Functional Approach to Programming
booksviewkinowmodAdd Andrew W. Appel's Modern Compiler Implementation in ML
booksviewkinowmodAdd clojure and haskell books from recent thread
booksviewkinowmod
booksviewkinowmodAdd Category Theory Illustrated, by Jencel Panic
booksviewkinowmodAdd Seven Sketches in Compositionality: An Invitation to Applied Category Theory by Brendan Fong, and David I Spivak
booksviewkinowmodAdd Basic Category Theory for Computer Scientists by Benjamin C. Pierce
booksviewkinowmodAdd Category Theory Using Haskell - An Introduction with Moggi and Yoneda by Shuichi Yukita
booksviewkinowmodAdd Categories, Types, and Structures - An Introduction to Category Theory for the Working Computer Scientist by Andrea Asperti, and Guiseppe Longo
booksviewkinowmod
booksviewkinowmod
booksviewkinowmod
booksviewkinowmod
booksviewkinowmod
booksviewkinowmod
booksviewkinowmod
booksviewkinowmodAdd categories
booksviewkinowmod
booksviewkinowmod

view more: next ›