[Haskell-cafe] Pierce on type theory and category theory
sethg at ropine.com
Tue Sep 25 16:58:28 EDT 2007
Are Benjamin C. Pierce's _Types and Programming Languages_ and/or _Basic
Category Theory for Computer Scientists_ suitable for self-study?
(Do they have problem sets that can be checked by either looking up
answers in The Back of the Book, or by trying to compile/run some code
that the student writes?)
FWIW, my formal math education--well, all the formal math education that
I can remember at this point--stopped at freshman calculus plus one
semester of statistics.
More information about the Haskell-Cafe