Includes navigation links and user settings
Essentials of Type checking and Inference
Semantics of programming languages
Syntactic analysis techniques and tools
Theory and practice of syntactic analysis
Parser and Interpreter for a programming language