1. Introduction
3. Foundations
4. 1. Type Systems
6. Algorithm W
7. 2. Lambda Calculus
8. 3. Type Inference
9. 4. Examples
11. System F
12. 5. System F
13. 6. Type Checker
14. 7. Examples
16. System Fω
17. 8. System Fω
18. 9. Language Design
19. 10. Lexer and Parser
20. 11. Type Checking
21. 12. Code Generation
22. 13. Examples
24. Calculus of Constructions
25. 14. Overview
26. 15. Dependent Types
27. 16. Type System
28. 17. Inductive Types
29. 18. Type Rules
30. 19. Universe Polymorphism
31. 20. Constraint Solving
32. 21. Examples
34. References
35. 22. References