Techniques of high-level compilation
Essentials of Type checking and Inference
Essentials of Low-level Interpretation
Semantics of programming languages
Automatic memory management techniques
Syntactic analysis techniques and tools
Theory and practice of syntactic analysis
Practical approach to programming languages