Note: this schedule is not set in stone. Please check back now and then.
Week | Monday | Wednesday | Recitation | Notes |
---|---|---|---|---|
Sept 5-9 | Labor Day | First day of class
Intro and induction HW1 out (PDF, PS): Induction and operational semantics Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
None | |
Sept 12-16 | Chapter 3
Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
Chapter 3
Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
Inductive definitions and proofs | |
Sept 19-23 | Chapter 5
HW1 due HW2 out (PDF, PS): Lambda calculus programming Lecture notes: PDF |
Chapter 5/OCaml
Lecture notes: PDF |
OCaml programming | Friday, Sept 23: Last day to add classes |
Sept 26-30 | OCaml
HW2 due HW3 out (PDF, PS): Arith interpreter/OCaml programming Lecture notes: PDF |
OCaml/Chapter 4
Lecture notes: PDF |
OCaml programming | |
Oct 3-7 | Chapter 6
HW4 out: Lambda caclulus interpreter/de Bruijn representation Lecture notes: PDF |
Chapter 7
HW3 due Lecture notes: PDF |
Midterm review | |
Oct 10-14 | Catch-up/Review
HW4 due |
Midterm exam (Oct 12) | None | Friday, Oct 14: Last day to drop classes |
Oct 17-21 | Fall break | Chapter 8
HW5 out: Simply-typed lambda calculus Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
General | |
Oct 24-28 | Chapter 9
Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
Chapter 9
Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
General | |
Oct 31-Nov 4 | Chapter 11
HW5 due HW6 out: Extensions of lambda calculus Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
Chapter 11
Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
General | |
Nov 7-11 | Chapter 13
HW6 due HW7 out: References and exceptions Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
Chapter 14
Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
Midterm review | |
Nov 14-18 | Chapter 15
HW7 due Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
Midterm exam (Nov 16) | None | |
Nov 21-25 | Chapter 16
HW8 out: Subtyping Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
Chapter 16
Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
None | Nov 24-25, Thanksgiving break |
Nov 28-Dec 2 | Chapter 18
Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
Chapter 18
HW8 due HW9 out: Imperative objects/Featherweight Java Lecture notes: PDF, PS, PDF 4-up, PS 4-up |
General | |
Dec 5-9 | Chapter 19 | Catch-up/Review
HW9 due |
Final review | Last week of classes |
Dec 12-16 |
Wed, Dec 14, 12:00pm-2:00pm:
Final exam
Location: 345 Huntsman |