Programming language semantics, formal proofs, and enduring concepts.

Lecture: | Tuesdays and Thursdays from 10:30 to 11:50 am in MGH 231 |

Instructor: | Zach Tatlock (ztatlock@cs) |

Office Hours: | Wednesdays from 1:30 to 2:30pm in CSE 546 (+ if door is open!) |

TA: | James Wilcox (jrw12@cs) |

TA Hours: | Tuesdays from 2:00 to 3:00pm in CSE 3rd Floor Breakout |

Subscribe: |

December 5 | Victory Lap / Review | |

Slides Slides-4up | ||

December 3 | Parametric Polymorphism | |

Slides Slides-4up | ||

November 26 | Subtyping | |

Slides Slides-4up | ||

November 21 | Continuation Passing Style | |

Slides Slides-4up | ||

November 19 | The Curry Howard Isomorphism | |

Slides Slides-4up | ||

November 14 | Safely Extending STLC: Recursion, Naming vs. Anonyminity | |

Slides Slides-4up | ||

November 12 | Safely Extending STLC: Sums, Products, Duals | |

Notes Slides Slides-4up | ||

November 7 | Safely Extending STLC: Progress, Preservation, Lets, and Branches | |

Notes Slides Slides-4up | ||

November 5 | Midterm! | |

October 31 | Type Safety! | |

Notes | ||

October 29 | Types! | |

Slides Slides-4up | ||

October 24 | Y, Substitution, Reduction Strategies | |

Notes Slides Slides-4up | ||

October 22 | Functions, Scope, Lambda Calculus | |

Notes Slides Slides-4up | ||

October 17 | X | |

X | ||

October 15 | (Sort of) Denotational Semantics | |

Notes | ||

October 10 | Proofs Over Derivations | |

Notes (partial) | ||

October 8 | Semantics and Inference Rules | |

Notes | ||

October 3 | Syntax and Structural Induction | |

Notes | ||

October 1 | Caml Tutorial | |

Caml Code | ||

JHU Caml Tutorial O'Reilly OCaml Book Real World OCaml | ||

September 27 | Introduction | |

slides-1up slides-6up |

03 | Due Sunday, December 1 at 11pm |

problems skeleton | |

02 | Due Wednesday, October 30 at 11pm |

problems skeleton | |

01 | Due Friday, October 11 at 11pm |

problems skeleton |

Finals

Fall 12 | unsolved | solved |

Winter 2012 | unsolved | solved |

Fall 2009 | unsolved | solved |

Midterms

Fall 12 | unsolved | solved |

Winter 2012 | unsolved | solved |

Fall 2009 | unsolved | solved |