The following is a rough week-by-week course schedule: Week 1 04 Sep, 02 W: Introduction, Inductive Reasoning 06 Sep, 02 F: Structural Induction Week 2 09 Sep, 02 M: (no class: learning SML) 11 Sep, 02 W: (no class: learning SML) 13 Sep, 02 F: Untyped Lambda-Calculus (I) Week 3 16 Sep, 02 M: Untyped Lambda-Calculus (II) 18 Sep, 02 W: Simply Typed Lambda-Calculus (I) (Section 9.1, 9.2) 20 Sep, 02 F: A Crash Course on SML Week 4 23 Sep, 02 M: Simply Typed Lambda-Calculus (II) (Section 9.2, 9.3) 25 Sep, 02 W: Parsing Combinators 27 Sep, 02 F: Simply Typed Lambda-Calculus (III) (Section 9.3, 9.5) Week 5 30 Sep, 02 M: Simple Extensions of STLC (I) (Section 11.1 - 11.7) 02 Oct, 02 W: Simple Extensions of STLC (II) (Section 11.8 - 11.10) 04 Oct, 02 F: Simple Extensions of STLC (III) (Section 11.11 - 11.12) Week 6 07 Oct, 02 M: Normalization of STLC (I) (Section 12.1, 12.2) 09 Oct, 02 W: Normalization of STLC (II) (Section 12.1, 12.2) 11 Oct, 02 F: Normalization of STLC (III) (Section 12.1, 12.2) Week 7 15 Oct, 02 T: References (I) (Section 13.1, 13.2, 13.3) 16 Oct, 02 W: References (II) (Section 13.4, 13.5) 18 Oct, 02 F: Exceptions (Section 14.1, 14.2, 14.3) Week 8 21 Oct, 02 M: Recursive Types (Section 20.1, 20.2) 23 Oct, 02 W: Universal Types (I) (Section 23.1, 23.2, 23.3) 25 Oct, 02 F: one-hour in-class midterm exam Week 9 28 Oct, 02 M: Universal Types (II) (Section 23.3, 23.4, 23.5) 30 Oct, 02 W: Universal Types (III) (Section 23.4, 23.5) 01 Nov, 02 F: Universal Types (IV) (Section 23.6 - 23.10) Week 10 04 Nov, 02 M: Universal Types (V) (Reducibility Candidates) 06 Nov, 02 W: Existential Types (I) (Section 24.1, 24.2) 08 Nov, 02 F: Existential Types (II) (Section 24.2, 24.3, 24.4) Week 11 11 Nov, 02 M: Type Reconstruction (I) 13 Nov, 02 W: Type Reconstruction (II) 15 Nov, 02 F: Type Reconstruction (III) Week 12 18 Nov, 02 F: Type Reconstruction (IV) 20 Nov, 02 W: Subtyping (I) (Section 15.1, 15.2, 15.3) 22 Nov, 02 F: Subtyping (II) (Section 15.4, 15.5, 15.6) Week 13 25 Nov, 02 M: Subtyping (Section 16.1, 16.2) 27 Nov, 02 W: (holiday) 29 Nov, 02 F: (holiday) Week 14 02 Dec, 02 M Evaluation Contexts 04 Dec, 02 W Continuation 06 Dec, 02 F Imperative Objects (Section 18.1 - 18.7) Week 15 09 Dec, 02 M Imperative Objects (Section 18.8 - 18.11) 11 Dec, 02 W (final review) ------ Final exam is on 20 Dec, 2002, from 9 to 11AM