| Tools | ||
| September | 6 | Welcome, Operational Semantics, PostFix (PS1 Out) |
| 11 | Operational Semantics, Domains (PS 1a Due) | |
| 13 | Denotational Semantics | |
| 18 | Fixed Points (PS 1b Due, PS 2 Out) | |
| 20 | FL: A Functional Language | |
| 25 | FLK: Operational and Denotational Semantics (PS 2 Due, PS 3 Out) | |
| Dynamic Semantics | ||
| 27 | Naming I: Parameter Passing, Name Control | |
| October | 2 | Naming II: Modules, Inheritance (PS3 Due, PS4 Out) |
| 4 | State: Side Effects, Imperative Programming | |
| 9 | Columbus Day Holiday: No Class | |
| 11 | Control I: Standard Semantics | |
| 16 | Control II: Control Points | |
| 18 | Data (PS4 Due, PS5 Out) | |
| 23 | Pattern Matching | |
| Static Semantics | ||
| 25 | Explicit Types (PS5 Due) | |
| 30 | Type Reconstruction | |
| November | 1 | Midterm Examination |
| 6 | Polymorphic Types (PS6 Out) | |
| 8 | Polymorphic Type Reconstruction | |
| 13 | Abstract Types and Modules I (PS6 Due, PS7 Out) | |
| 15 | Abstract Types and Modules II | |
| 20 | Effects (PS7 Due, PS8 Out) | |
| 22 | Thanksgiving: No Class | |
| Pragmatics | ||
| 27 | Pragmatics I: Desugar, Globalize, Assignment Convert, & CPS Convert | |
| 29 | Pragmatics II: MetPragmatics IV: m-CPS Conversion | |
| December | 4 | Pragmatics III: Closure Conversion, Lifting, Data Conversion, GC (PS8 Due) |
| Conclusion | ||
| 6 | Jeopardy | |
| 11 | Final Exam | |