[Haskell-cafe] Pierce on type theory and category theory

Seth Gordon 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 mailing list