Schedule
All meetings take place in Liivi 2-512 on Mondays 12:15-14:00.
| Date | Topic | Reading |
|---|---|---|
| 10.09 | Introduction to the seminar. | |
| 17.09 | Simple types. | |
| 24.09 | Simple types (ctd.). | |
| 01.10 | Simple types (ctd.). | |
| 08.10 | Simple extensions. | |
| 15.10 | No seminar, the lecturer away. | |
| 22.10 | Simple extensions (ctd.). | |
| 29.10 | More extensions. | |
| 05.11 | More extensions (ctd.). | |
| 12.11 | Subtyping. | |
| 19.11 | Subtyping (ctd.). | |
| 26.11 | Type reconstruction. | |
| 03.12 | Type reconstruction (ctd.). | |
| 10.12 | Universal types. | |
| 17.12 | Universal types (ctd.). |