[Haskell-cafe] Pierce on type theory and category theory
stefan at cs.uu.nl
Tue Sep 25 17:11:49 EDT 2007
>> Are Benjamin C. Pierce's _Types and Programming Languages_ and/or
>> Category Theory for Computer Scientists_ suitable for self-study?
And Tim answered:
> Graduate-level textbooks don't have answers in the back of the book,
> as a rule. In TAPL, some of the questions involve writing code, but
> others don't. If you're approaching this book, you ought to be at a
> point where you can check your own sanity. Better yet, find a study
> partner to discuss the problems with!
That said, TAPL does come with solutions for the better part of the
More information about the Haskell-Cafe