Schedule
| Lecture Hours: | 10:30am - 11:45am on Mondays and Wednesdays |
| Lecture Location: | Singer 350 |
| Lab Location: | Martin 313 |
Calendar
The following is a tentative course calendar; it is subject to change as circumstances dictate.
Captured videos of lecture are linked in the calendar below. The corresponding resources created during those lectures can be found in the Lecture Materials.
| WEEK | DAY | ANNOUNCEMENTS | TOPIC & READING | ASSIGNMENTS | TESTS (in lab) |
|---|---|---|---|---|---|
| 1 | Sep 01 | (no class: Labor Day) Lecture Notes | Introduction to OCaml | (first lecture in lab) | |
Sep 03 | |||||
| 2 | Sep 08 | Higher-Order Functions and OCaml Type Inference | Syllabus Quiz: TSQ | ||
Sep 10 | |||||
| 3 | Sep 15 | Drop/add ends | A Brief Introduction to Logic | Test: TC1 | |
Sep 17 | Syntax and Semantics
| ||||
| 4 | Sep 22 | Operational Semantics; F♭
| Test: TC2 | ||
Sep 24 | |||||
| 5 | Sep 29 | The Y Combinator
| |||
Oct 01 | Tuples
| ||||
| 6 | Oct 06 | Records and Variants
| Test: TOF | ||
Oct 08 | State
| ||||
| — | Oct 13 | Fall Break | |||
Oct 15 | |||||
| 7 | Oct 20 | Review Day
| Test: TER | ||
Oct 22 | Exceptions
| ||||
| 8 | Oct 27 | Types and Typechecking
| |||
Oct 29 | — | ||||
| 9 | Nov 03 | — | Subtypes
| Lab 8: Type Systems for Functional Programs (ATF) | Test: TOE |
Nov 05 | CR/NC/W Deadline (Nov 07) | Type Inference
| |||
| 10 | Nov 10 | — | Lab 9: Type Systems for Structure and State (ATS) | Test: TTF | |
Nov 12 | — | Operational Equivalence
| |||
| 11 | Nov 17 | — | Proofs of Proof Systems | Lab 10: EF♭ Type Inferencer (AI1, AI2) | Test: TTS |
Nov 19 | — | ||||
| 12 | Nov 24 | — | TF♭ Soundness | ||
Nov 26 | — | ||||
| 13 | Dec 01 | — | Theory and Practice | Lab 11: Proof System Proofs (AMT) | Test: TOQ |
Dec 03 | — | Review | |||
| 14 | Dec 08 | — | (Test) | Test: TMT (in class on Monday) | |
| — | Dec 18 | Final Exam (9am-12noon, Singer 350) | |||