Original Post
I want to learn programming language theory, but I'm not sure what books to get though. I already have the dragon book (Compilers: Principles, Techniques and Tools), but it's old and there is lots of stuff it doesn't even mention (JIT compilling, P-code/byte code, dependent types etc.), fortunatly a new version will be published in 2007. So I was wondering what other books would be a good idea to get? I'm also thinking about getting books about subjects such as hoare logic, process calculi (including lambda calculus), petri nets, CSP, etc., but what would be the best to start reading about, I'm thinking about reading about lambda calculus and petri nets at first, but maybe hoare logic and CSP would be a good idea also. What about pi-calculus? Is it important? I don't know much about these subjects yet, so I'm sorry if some of this stuff make no sense.