category theory with ML
3 years ago
http://www.cs.man.ac.uk/~david/categories/book/book.pdf
the pattern matching in ML and prolog are just lovely i think
http://www.cs.man.ac.uk/~david/categories/book/book.pdf
the pattern matching in ML and prolog are just lovely i think