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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
