Schedule
The following schedule is approximate. Please listen for announcements in class; also see Blog.
Date | Topic | Readings | Problem Set |
01/07 | Welcome; Syntax; Redex | II.11, II.12, II.A & | Basic Programming |
01/14 | More Redex; Induction | Redex Programming | |
01/21 | no class | ||
01/28 | Reduction Semantics, Theorems | I.1 & I.2 | Redex Modeling |
02/04 | The Lambda Calculus & ISWIM | I.3 & I.4 | Reduction Relations |
02/11 | An Abstract Syntax Machine | I.5 | Standard Reductions |
02/18 | Types and Subjection Reduction | I.10 | Type Checking |
02/25 | Abstract Register Machines | I.6 | |
03/11 | State and Memory | I.9 | |
03/18 | Control | I.8 | |
03/25 | Feltey & Florence, Cassidy & Shargo | ||
04/01 | Carstendottir & Ren, ten Pas & Sun, Cao & Gu | ||
04/08 | no class | ||
TBS | Ting Chen & Li Cheng, | ||
04/15 | Asadi & Sanatinia, Le Chen & Lee, Xu & Gui, Shokatfadaee | ||
04/22 | Rundong & Peizun, Utami & Kang, Dippel & Yang | (in lieu of a final exam) |
There will be no class on the dates in red.
See the table of contents in the textbook for refinement of topics. You are expected to read the relevant pieces ahead of time.