Another book that's really good it Types and Programming Languages. It goes over how to define the operational semantics of a programming language, and then giv

Another book that's really good it Types and Programming Languages. It goes over how to define the operational semantics of a programming language, and then gives examples of how to implement them. It pretty much just glosses over parsing etc., and focuses on the semantics of a language, which IMHO is much more interesting. Sure, if you're building a real language implementation, you will need a parser, but in a lot of ways it's the least interesting part.