Deep dive into state machines, Finite automata, and Regular expressions
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
Practical approach to programming languages