By the way, thanks for the book suggestions - some great ones there that I have yet to read!
CTM is good, it covers a lot of theory of programming techniques and IMHO a must read for anybody interested in programming language design. Oz syntax is a bit quirky and weird, but the language seems to be quite powerful and very flexible, supporting many varied types of programming. I have not read all of it yet, but most - not exactly light reading :-)
I will definitely check out the other books which you mentioned though.
"By the way, thanks for the book suggestions - some great ones there that I have yet to read!"
You are welcome! I had to work through some really awful books before I put all the pieces together and stumbled onto the good books.
Even most good books omit some crucial piece (E.g EOPL , as good as it is, doesn't say anything about how to write a garbage collector/memory management infrastructure, SICP doesn't deal with lexing/parsing or type checking and so on.)
CTM is good, it covers a lot of theory of programming techniques and IMHO a must read for anybody interested in programming language design. Oz syntax is a bit quirky and weird, but the language seems to be quite powerful and very flexible, supporting many varied types of programming. I have not read all of it yet, but most - not exactly light reading :-)
I will definitely check out the other books which you mentioned though.