Lecture 07: Type Analysis
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
1)
created with Microsoft Office Professional Plus 2010, embedded fonts. Ink may be invisible if opened using different programs