| Week | Session One | Session Two |
|---|---|---|
| 1 | Operational Semantics, PostFix PS1 Out |
|
| 2 | Operational Semantics, Domains PS1a Due |
Definitional Interpreters & Translators |
| 3 | Denotational Semantics PS1b Due, PS2 Out |
Fixed Points |
| 4 | FL PS2 Due, PS3 Out |
Naming I |
| 5 | Naming II PS3 Due, PS4 Out |
State I |
| 6 | Modeling State | Control I PS4 Due, PS5 Out |
| 7 | Control II | |
| 8 | Explicit Types PS5 Due |
Midterm In-class Through Control II |
| 9 | Type Reconstruction PS6 Out |
Polymorphic Type I |
| 10 | Polymorphic Type II PS6 Due, PS7 Out |
Pattern Matching, Abstract Types |
| 11 | Concurrency PS7 Due, PS8 Out |
Effects |
| 12 | Java Language Design/Applets | Pragmatics I |
| 13 | Pragmatics II | |
| 14 | Pragmatics III PS8 Due |
To Be Announced |
