B. Pierce: Types and Programming Languages
Bounded polymorphism 以降は秋口から行います。
| Date | Chapter | Person |
| 4/22 | 5. The Untyped Lambda-Calculus (PDF) | oyuichi |
| 4/15 | 9. Simply Typed Lambda Calculus (PDF) | hideaki |
| 5/6 | 12. Normalization (PDF) | kohei |
| 5/13 | 13. References (PDF) | yoshinor |
| 5/20 | 14. Exception(PDF) | koichi |
| 5/27, 6/3 | 15. Subtyping | koichi(PDF), oyuichi(PDF) |
| 6/10 | 20. Recursive Types | hideaki (PDF) |
| 6/17 | 22. Type Reconstruction | kwsk (PDF) |
| 6/24 | 23. Universal Types | mame (PDF) |
| 7/8 | 24. Existential Types | shinyak |
| 7/15 | 26. Bounded Quantification | kohei |
| 7/22 | 29. Type Operators and Kinding | --- |
| 7/29 | 30. Higher-Order Polymorphism | --- |