25 Sep
2007
25 Sep
'07
9:11 p.m.
Seth, You asked:
Are Benjamin C. Pierce's _Types and Programming Languages_ and/or _Basic 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 exercise set. Cheers, Stefan