Lecture 09
Last time talked still about Automata for LR Parsing without Lookahead but did not cover LR Parsing Tables
Name Analysis
Implementation: Symbol Tables and Error Reporting
Type Checking
References
- Tiger book, Chapters 4, 5
- Types and Programming Languages, Chapter 5, Chapter 8, Sections 9.1–9.3 (pages 89-107)
- Foundations of Software, the EPFL master's level course taught by Prof. Martin Odersky, covers type systems in greater depth
- Lambda Calculi with Types, pages 34-45