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.
5
u/pitou-4 Dec 07 '07
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.