Seminar Schedule

All lectures are at 10:30am in Research Building 8, Lecture Room 3 of Kyoto University.

1. Friday 13th of December, 2019: Ownership in Collections (slides).
2. Friday 20th of December, 2019: Generic Ownership and Immutability (slides).
3. Friday 10th of January, 2020: Wyvern Overview (slides). Wyvern Demos.
4. Thursday 16th of January, 2020: Decidable Subtyping for Path Dependent Types (slides).
5. Friday 24th of January, 2020: Wyvern Formalisation (slides).
6. Friday 31st of January, 2020: Capabilities for Effects (slides).

Assignment

On Ownership versus Capabilities (PDF).

Deadline: 10:30am Friday 31st of January 2020 via Email to alex@ecs.vuw.ac.nz.