Course Schedule

Please note that this schedule is tentative, and may be adapted as need arises.

1. Thu, Sep 8, Introduction & Work Distribution
2. Tue, Sep 13, Faxen
3. Thu, Sep 15, Faxen
4. Tue, Sep 20, Ph.D. defense of Bastiaan Heeren
5. Thu, Sep 22, Faxen
6. Tue, Sep 27, Bastiaan Heeren, Practical type inference for arbitrary-rank types (part 1)
7. Thu, Sep 29, Bastiaan Heeren, Practical type inference for arbitrary-rank types (part 2)
8. Tue, Oct 4, mid-test about material treated thus far (also see Course Description)
9. Thu, Oct 6, 12-13, Atze Dijkstra, Colloquium, The Ruler language
10. Thu, Oct 6, Doaitse Swierstra, Chapter 2, Dependent Types
11. Tue, Oct 11, student team 1; Chapter 4, Typed Assembly Language (Ron en Gerrit) (Slides)
12. Thu, Oct 13, student team 2; Chapter 5, Proof-Carrying Code (Arie en Huanwen)
13. Tue, Oct 18, Bastiaan Heeren, Chapter 10, The essence of ML Type Inference (Slides)
14. Thu, Oct 20, Atze Dijkstra, Explicit Implicit Parameters
15. Tue, Oct 25, ArthurBaars, Generalized Algebraic Data Types (GADT) (confirmed)
16. Thu, Oct 27, Daan Leijen Qualified Types for ML/F (confirmed)
17. Tue, Nov 1, GerritVanDenGeest, Chapter 8, Design Considerations for ML-Style Module Systems(Slides)
18. Thu, Nov 3, Jeroen Fokker, Chapter 9, Type Definitions
19. Tue, Nov 8, Arie Middelkoop, Propagation of quantifiers
20. Thu, Nov 10, Project presentations; Modules in EHC (Ron en Gerrit)

-- ArieMiddelkoop - 06 Nov 2005