Schedule

Detailed schedule

    Event     Time     Place     Subject     Links
 
Week 1 Jan 18 - Jan 22
Mon     Lecture     13 - 15     EF     Intro     notes
Tue
Wed
Thu     Lecture     10 - 12     EF / ES53     Shapes     notes
Fri
 
Week 2 Jan 25 - Jan 29
Mon     Lecture     13 - 15     EF     Monads     notes
Tue
Wed
Thu     Lecture     10 - 12     EF / ES53     Parsers     notes
Fri     Assignment 1 (part 1) deadline
 
Week 3 Feb 1 - Feb 5
Mon     Lecture     13 - 15     EF     Monad transformers     notes
Tue
Wed
Thu     Lecture     10 - 12     EF / ES53     Correctness and testing     notes
Fri     Assignment 1 (part 2) deadline
 
Week 4 Feb 8 - Feb 12
Mon     Lecture     13 - 15     EF     Type system extensions     notes
Tue     CHARM
Wed     CHARM
Thu     Lecture     10 - 12     EF / ES53     Recap lecture     notes
Fri     Assignment 2 (part 1) deadline
 
Week 5 Feb 15 - Feb 19
Mon     Lecture     13 - 15     EF     Feldspar guest lecture     notes
Tue
Wed
Thu     Lecture     10 - 12     EF / ES53     Concurrency and Parallelism     notes
Fri     Assignment 2 (part 2) deadline
    Examination sign-up deadline
 
Week 6 Feb 22 - Feb 26
Mon     Lecture     13 - 15     EF     Requested topics     notes
Tue
Wed
Thu     No lecture
Fri     Assignment 3 (part 1) deadline
 
Week 7 Mar 1 - Mar 5
Mon     Lecture     10 - 12     EF / ES53     Recap lecture     notes
Tue
Wed
Thu     No lecture
Fri     Assignment 3 (part 2) deadline
 
Exam week Mar 8 - Mar 12
Mon
Tue
Wed     Final written exam 14.00-18.00
Thu
Fri     Final assignment deadline