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