Interesting, let check out "Modern Compiler Implementation in ML", perhaps I can start with that and then move to the Dragon Book when I'm ready for it.