The dates for the assignment below are estimates. They are likely to change a little before the semester begins.
| Date | Notes | Assignment 1 | Assignment 2 |
|---|---|---|---|
| Wed Sep 4 | Introduction | OCaml Tutorial | |
| Fri Sep 6 | |||
| Mon Sep 9 | |||
| Wed Sep 11 | Functions and Sugar | ||
| Fri Sep 13 | |||
| Mon Sep 16 | |||
| Wed Sep 18 | |||
| Fri Sep 20 | Type checker | ||
| Mon Sep 23 | |||
| Wed Sep 25 | |||
| Fri Sep 27 | |||
| Mon Sep 30 | |||
| Wed Oct 2 | Programming in System F | ||
| Fri Oct 4 | |||
| Mon Oct 7 | Type inference | ||
| Wed Oct 9 | |||
| Fri Oct 11 | |||
| Tue Oct 15 | |||
| Wed Oct 16 | |||
| Fri Oct 18 | Implementing a Program Verifier | ||
| Mon Oct 21 | |||
| Wed Oct 23 | |||
| Fri Oct 25 | |||
| Mon Oct 28 | Logic Programming with Prolog | ||
| Wed Oct 30 | |||
| Fri Nov 1 | Implementing Logic Programming | ||
| Mon Nov 4 | |||
| Wed Nov 6 | Programming with Continuations | ||
| Fri Nov 8 | |||
| Wed Nov 13 | |||
| Fri Nov 15 | Functional Reactive Programming | ||
| Mon Nov 18 | |||
| Wed Nov 20 | |||
| Fri Nov 22 | |||
| Mon Nov 25 | |||
| Fri Nov 27 | |||
| Mon Dec 2 | |||
| Wed Dec 4 | |||
| Fri Dec 6 |