Course Schedule
Fosa
Please note that this schedule is tentative, and may be adapted as need arises.
| Day | Activity | Lecture by |
|---|
week 36 | |
| Sep 6 (wed) | Introduction to FOSA | Bastiaan (slides) |
| Sep 8 (fri) | Ruler, Shuffle, and EHC | Atze (slides1+slides2) |
week 37 |
| Sep 13 (wed) | Type and Effect Systems | Jurriaan (type and effect ts + constraint based) |
| Sep 15 (fri) | Type Inference Directives | Bastiaan (slides) |
week 38 |
| Sep 20 (wed) | Group discussion Higher-Ranked Types (1) | |
| Sep 22 (fri) | Group discussion Higher-Ranked Types (2) | |
week 39 |
| Sep 27 (wed) | Human-like error messages | Kasper |
| Sep 29 (fri) | Type Error Slices | Mark |
week 40 |
| Oct 4 (wed) | Typed Contracts | Thomas |
| Oct 6 (fri) | Programming Environments | Michiel |
week 41 |
| Oct 11 (wed) | SEMINAL | John |
| Oct 13 (fri) | Constraint Handling Rules | Sander |
week 42 |
| Oct 18 (wed) | Tinkertype | Gideon |
| Oct 20 (fri) | Software Metrics | Eric |
week 43 |
| Oct 25 (wed) | Project: Type inference directives | Kasper+Gideon |
| Oct 27 (fri) | Project: Recursion pattern analysis and feedback | Sander+Thomas |
week 44 |
| Nov 1 (wed) | Project: Repair directives | Michiel+Eric |
| Nov 3 (fri) | Project: Ruler code generation | John+Mark |
pdf