The following is an *approximate* week-by-week course schedule:

Week 1

03 Sep, 09 R: Introduction to FP via ATS

Week 2

08 Sep, 09 T: Programming with Dependent Types (I)
10 Sep, 09 R: Inductive Reasoning

Week 3

15 Sep, 09 T: Interactive Theorem Proving
17 Sep, 09 R: Lambda Calculus (I); reading chapters 3,4

Week 4

22 Sep, 09 T: Lambda Calculus (II); reading chapters 5,6,7
24 Sep, 09 R: Lambda Calculus (III); reading chapters 5,6,7

Week 5
29 Sep, 09 T: Simple Type System (I); reading chapters 8,9
01 Oct, 09 R: Simple Type System (II); reading chapters 9,10,11

Week 6
06 Oct, 09 T: Simple Type System (III); reading chapters 9,10,11
08 Oct, 09 R: Programming with Dependent Types (II)

Week 7

13 Oct, 09 T: No Class (Substituting Monday Schedule)
15 Oct, 09 R: The Second-Order Polymorphic Calculus (I); reading chapter 23

Week 8

20 Oct, 09 T: The Second-Order Polymorphic Calculus (II); reading chapter 24
22 Oct, 09 R: The Second-Order Polymorphic Calculus (III); reading chapter 24

Week 9

27 Oct, 09 T: Programming with Linear Types (I)
29 Oct, 09 R: Programming with Linear Types (II)

Week 10

03 Nov, 09 T: Simple Linear Type Theory (I)
05 Nov, 09 R: Simple Linear Type Theory (II)

Week 11

10 Nov, 09 T: Programming with Linear Types (III)
12 Nov, 09 R: Programming with Linear Types (IV)

Week 12

17 Nov, 09 T: Recursive Sum Types; reading chapter 11, chapter 21
19 Nov, 09 R: Continuation (I)

Week 13

24 Nov, 09 T: Continuation (II)
26 Nov, 09 R: Holiday

Week 14

01 Dec, 09 T: Reducibility (I)
03 Dec, 09 R: Reducibility (II)

Week 15

08 Dec, 09 T: Dependent Type Theory (I)
10 Dec, 09 R: Dependent Type Theory (II)

------