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