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 |