*Date* | *Topic* | *References and Notes* | *Homework* |

**Lambda calculus** |

Jan 11 | Lambda calculus | Gordon, through 2.3 | Homework 1 |

Jan 13 | Recursion | Gordon, 2.4-2.6 | Homework 2 |

Jan 18 | From call-by-name to call-by-value | LC Summary | Homework 3 |

Jan 20 | ISWIM | Felleisen, Chapter 2 | Homework 4 |

Jan 25 | Standard reduction | Felleisen, 2.5-3.1 | Homework 5 |

**Machines, and modelling realistic languages** |

Jan 27 | CC | Felleisen, 3.2.1, Scheme | Homework 6 |

Feb 1 | SCC, CK, CEK | Felleisen, 3.2.2-3.2.4, CC-CEK Summary | Homework 7 |

Feb 3 | *class cancelled* | | |

Feb 8 | SECD, Tail recusion, continuations | SECD | Homework 8 |

Feb 10 | Errors and exceptions | Felleisen, 5.1-5.2 | Homework 9 |

Feb 15 | State, garbage collection | Store ISWIM, Felleisen, 6.1-6.2 | Homework 10 |

Feb 17 | CEKS, Concurrency | CEKS | Homework 11 |

Feb 22 | *no class (Monday schedule)* | | |

**Intermezzo and review** |

Feb 24 | Combinators, mid-term review | | Mid-term |

**Proving properties of programs and languages** |

Feb 29 | Typed Arithmetic | Pierce, Chapter 6, Arithmetic | Homework 12 |

Mar 2 | Simply-typed lambda calculus | Pierce, Chapters 7-8, Example Proof | Homework 13 |

Mar 7 | More typed lambda calculi | Typed LC, Pierce, Chapters 9 | Homework 14 |

Mar 9 | Polymorphism and ML | Pierce, Chapter 18, Demo | Homework 15 |

Mar 21 | Type inference | Pierce, Chapter 17 | Homework 16 |

Mar 23 | Recursive types, existential types | Pierce, Chapters 15 and 19 | Homework 17 |

**Object-oriented languages** |

Mar 28 | Objects | Abadi and Cardelli, Sections 1 and 2 | Homework 18 |

Mar 30 | Typed objects | Abadi and Cardelli, Sections 3 and 4 | Homework 19 |

Apr 4 | Subtyping and Classes | Abadi and Cardelli, Section 4 | Homework 20 |

Apr 6 | Proof by structural induction | Induction Proofs | Homework 21 |

Apr 11 | Java | ClassicJava | Homework 22 |

**Denotational semantics** |

Apr 13 | Denotational semantics | Denotational Semantics | Homework 23 |

Apr 18 | Domain theory | Domain Theory | Homework 24 |

**Axiomatic semantics** |

Apr 20 | Axiomatic semantics | Gordon, Chapters 1-3 | Homework 25 |

**Final review** |

Apr 25 | Final review | | Final |

Apr 27 | TBA | | |