Note: this schedule is not set in stone. Please check back now and then.
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| Sep 1 | LABOR DAY |
FIRST DAY OF CLASS Class: Intro & OCaml Homework: HW1 (basic OCaml) Out |
|||
| Sep 8 |
Class: OCaml Homework: HW1 Due, HW2 (More OCaml) Out |
Class: OCaml |
|||
| Sep 15 |
Class: TAPL Ch 3 & 4 Homework: HW2 Due, HW3 (Operational Semantics) Out |
Class: TAPL Ch 3 & 4 | ADD PERIOD ENDS | ||
| Sep 22 |
Class: TAPL Ch 5 Homework: HW3 Due, HW4 (λ-calculus) Out |
Class: TAPL Ch 5 |
|||
| Sep 29 |
Class: TAPL Ch 6 Homework: HW4 Due, HW5 Out |
Class: TAPL Ch 8 | |||
| Oct 6 |
Class: Review Session Homework: HW5 Due |
Class: Exam I | DROP PERIOD ENDS | ||
| Oct 13 | FALL BREAK | Class: TAPL Ch 9 Homework: HW6 (TAPL Ch 8 & 9) Out | |||
| Oct 20 | Class: TAPL Ch 11 Homework: HW6 Due, HW7 (TAPL Ch 11) Out |
Class: TAPL Ch 11 | |||
| Oct 27 |
Class: TAPL Ch 13 Homework: HW7 Due, HW8 (TAPL Ch 13 & 14) Out |
Class: TAPL Ch 14 | |||
| Nov 3 |
Class: TAPL Ch 15 Homework: HW8 Due, HW9 (TAPL Ch 15) Out |
Class: TAPL Ch 15 | |||
| Nov 10 |
Class: Review Homework: HW9 Due |
Class: Exam II | |||
| Nov 17 |
Class: TAPL Ch 16 Homework: HW10 (TAPL Ch 16) Out |
Class: TAPL Ch 16 | |||
| Nov 24 | Class: TAPL Ch 18 Homework: HW10 Due, HW11 (TAPL Ch 18) Out |
Class: TAPL Ch 18/19 | THANKSGIVING BREAK | ||
| Dec 1 | Class: TAPL Ch 19 |
Class: TBD |
|||
| Dec 8 |
LAST DAY OF CLASSES |
||||
| Dec 17: Final exam, 11AM - 1PM | |||||