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:	Piazza Submit Homework Check Grades Mailing List

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

Note: Our course covered different material after the midterm compared to prior courses. Our final will of course only cover material we discussed in class.

Midterms

Fall 12	unsolved	solved
Winter 2012	unsolved	solved
Fall 2009	unsolved	solved