25 Sep
2007
25 Sep
'07
9:04 p.m.
On Tue, 25 Sep 2007, Seth Gordon wrote:
Are Benjamin C. Pierce's _Types and Programming Languages_ and/or _Basic Category Theory for Computer Scientists_ suitable for self-study?
Basic Category Theory depends on your mindset somewhat. TaPL is great though, and frequently recommended. The follow-up is also good.
(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?)
TaPL does. -- flippa@flippac.org A problem that's all in your head is still a problem. Brain damage is but one form of mind damage.