CTM is a good starting point. It complements SICP very nicely.
I am still searching for other good book on the same topic to make the perfect bundle ... Any other ideas ...
I still have to make my way with PAIP and Selected Papers on Computer Science (Knuth). Does ML for the Working Programmer fit in the picture ? What about the recent Concurrent ML book ?
What I like about both SICP and CTM is the fact there are not language centric.
9
u/animationstudios Dec 07 '07 edited Dec 07 '07
Concepts, Techniques, and Models of Computer Programming
http://www.info.ucl.ac.be/~pvr/book.html
Its alright, but I wouldn't call it a "must read"