The following is a rough week-by-week course schedule:
Week 1
03 Sep, 03 W: Introduction, Inductive Reasoning
05 Sep, 03 F: Structural Induction
Week 2
08 Sep, 03 M: A Crash Course on SML (I)
10 Sep, 03 W: A Crash Course on SML (II)
12 Sep, 03 F: A Crash Course on SML (III)
Week 3
15 Sep, 03 M: A Crash Course on SML (IV)
17 Sep, 03 W: Untyped Lambda-Calculus (I)
19 Sep, 03 F: Untyped Lambda-Calculus (II)
Week 4
22 Sep, 03 M: Untyped Lambda-Calculus (III)
24 Sep, 03 W: Untyped Lambda-Calculus (IV)
26 Sep, 03 F: Untyped Lambda-Calculus (V)
Week 5
29 Sep, 03 M: Untyped Lambda-Calculus (VI)
01 Oct, 03 W: Simply Typed Lambda-Calculus (I) (Section 9.1 - 9.3)
03 Oct, 03 F: Simply Typed Lambda-Calculus (II) (Section 9.3, 9.5)
Week 6
06 Oct, 03 M: Simply Typed Lambda-Calculus (III)
08 Oct, 03 W: Simple Extensions of STLC (I) (Section 11.1 - 11.7)
10 Oct, 03 F: Simple Extensions of STLC (II) (Section 11.8 - 11.12)
Week 7
14 Oct, 03 T: (no class)
15 Oct, 03 W: References (I) (Section 13.1, 13.2, 13.3)
17 Oct, 03 F: References (II) (Section 13.4, 13.5)
Week 8
20 Oct, 03 M: Exceptions (Section 14.1)
22 Oct, 03 W: Exceptions (Section 14.2, 14.3)
24 Oct, 03 F: one-hour in-class midterm exam
Week 9
27 Oct, 03 M: Solutions to Midterm Exam
29 Oct, 03 W: Universal Types (I) (Section 23.1, 23.2, 23.3)
31 Oct, 03 F: Universal Types (II) (Section 23.3, 23.4, 23.5)
Week 10
03 Nov, 03 F: Universal Types (III) (Section 23.4, 23.5)
05 Nov, 03 M: Recursive Types (I)
07 Nov, 03 W: Recursive Types (II)
Week 11
10 Nov, 03 M: Existential Types (I) (Section 24.1, 24.2)
12 Nov, 03 W: Existential Types (II) (Section 24.2, 24.3)
14 Nov, 03 F: Existential Types (III) (Section 24.3, 24.4)
Week 12
17 Nov, 03 F: Type Reconstruction (I)
19 Nov, 03 W: Type Reconstruction (II)
21 Nov, 03 F: Type Reconstruction (III)
Week 13
24 Nov, 03 M: Type Reconstruction (IV)
26 Nov, 03 W: (holiday)
28 Nov, 03 F: (holiday)
Week 14
01 Dec, 03 M Evaluation Contexts (I)
03 Dec, 03 W Evaluation Contexts (II)
05 Dec, 03 F Continuation (I)
Week 15
08 Dec, 03 M Continuation (II)
10 Dec, 03 W (final review)
------
Final exam is on 20 Dec, 2003, from 9 to 11AM