Schedule
The following schedule is approximate. Please listen for announcements in class; also see Blog.
Date | Topic | Readings | Problem Set |
01/13 T | Welcome; Syntax | I.1.1-4 | |
01/16 F | Reduction Semantics | I.1.5-7 | Basic Programming |
01/20 T | Redex | II.A, II.11, II.12 | |
01/23 F | More Redex | Redex Programming | |
01/27 T | SNOW CANCELLATION | ||
01/30 F | The Lambda Calculus | I.3 | Redex Modeling |
02/03 T | Reduction Semantics | I.2 | |
02/06 F | Evaluation Contexts, Reduction | ||
02/10 T | SNOW CANCELLATION | ||
02/13 F | ISWIM | I.4 | Reduction Relations |
02/17 T | Induction | ||
02/20 F | Types | I.10 | Standard Reductions |
02/24 T | Subject Reduction | ||
02/27 F | Products, sums, recursion, and more | Type Checking | |
03/3 T | State and Memory | ||
03/6 F | More State and Memory | I.9 | |
03/17 T | Type Checking Mutable Memory | ||
03/20 F | NO CLASS, PhD open house | ||
03/24 T | Abstract Machines | I.7 | |
03/27 F | More Abstract Machines | ||
03/31 T | Control: Errors | I.8 | |
04/03 F | Control: Exceptions | I.8 | |
04/07 T | no class | ||
04/10 F | Clancy & Pais, Dong & Wang | ||
04/14 T | Gualtieri & LaChance, Greenman & Cobb | ||
04/17 F | Anderton & Aziz, Bashir & Rynderman | ||
04/20 M | Panda & Viereck, Zhang & Zhong | ||
04/21 T | Saksono & Shamekhi, Andersen | ||
04/24 F | Irannejad-Bisafar & Liaee |
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.