Home

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 ([[%ATTACHURL%/FOSA-intro.pdf][slides]])|
|Sep 8 (fri)|Ruler, Shuffle, and EHC|Atze ([[%ATTACHURL%/20060908-FOSA-slides-overview.pdf][slides1]]+[[%ATTACHURL%/20060908-FOSA-slides-ruler-long.pdf][slides2]])|
|=week 37=||
|Sep 13 (wed)|Type and Effect Systems|Jurriaan ([[%ATTACHURL%/typesystems.pdf][type and effect ts]] + [[%ATTACHURL%/typesystems-constraintbased.pdf][constraint based]])|
|Sep 15 (fri)|Type Inference Directives|Bastiaan ([[%ATTACHURL%/FOSA-directives.pdf][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 |

Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
pdf	20060908-FOSA-slides-overview.pdf	manage	266.2 K	08 Sep 2006 - 13:59	BastiaanHeeren	EHC-1
pdf	20060908-FOSA-slides-ruler-long.pdf	manage	332.0 K	08 Sep 2006 - 14:00	BastiaanHeeren	EHC-2
pdf	FOSA-directives.pdf	manage	357.7 K	15 Sep 2006 - 07:18	BastiaanHeeren	Directives
pdf	FOSA-intro.pdf	manage	629.5 K	08 Sep 2006 - 07:01	BastiaanHeeren	Organization and Introduction
pdf	typesystems-constraintbased.pdf	manage	204.3 K	14 Sep 2006 - 07:57	JurriaanHage	Constraint based type inferencing in Helium
pdf	typesystems.pdf	manage	173.0 K	14 Sep 2006 - 07:57	JurriaanHage	Type and effect sytems based on Nielson. Nielson, Hankin