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