I really like many of the books he has posted. I'd definitely rate CTM in the top 2 programming books I've ever read. I think it's the modern sequel to SICP and it doesn't get nearly as much love as it deserves (due to the choice of Mozart/Oz I guess).
What are the pros and cons of CTM as compared to SICP? The latter is very "tight"(like most math texts) for lack of a better word. I find programming (even academical ones) books a bit tiring to read because they don't proceed like typical math texts: very concise explanation -> lemma -> theorem -> proof -> corollary -> very concise elaboration. I get lost if a textbook is not written in that "tight" format. Is CTM c…
CTM explores a lot more programming language concepts than SICP, but the examples and exercises seem to be focused on illustrating those individual concepts in the simplest way possible. I think CTM is ultimately a more down-to-the earth book - you are likely to have more immediate direct use for the things you learn compared to SICP, but it doesn't give you this very high level perspective that SICP does.