Date		Topic	Notes	Homework
M	Jan   5	Preliminaries and notation	PLLC 1	Ex. 1.x
W	7	Structural induction; consistency	PLLC 2, PLLC 3	Ex. 2.1-2.3, 2.6
M	12	Lambda calculus and encodings	PLLC 4.1-4.2	Ex. 4.{1, 2, 4, 5, 9, 10}
W	14	Recursion and normal forms	PLLC 4.6-4.7	Ex. 4.13-4.14
M	19	Martin Luther King Jr. day
W	23	ISWIM; obervational equivalence	PLLC 5	Ex. 5.1-5.2, 5.6
M	26	Standard reduction	PLLC 6	Ex. 6.1-6.2
W	28	CC, SCC, CK, and CEK machines	PLLC 7	Ex. 7.1, 7.3, 7.5, 7.7
M	Feb  2	Meeting canceled
W	4	SECD machine	PLLC 8	Ex. 8.1-8.2
M	9	Continuations	PLLC 9	Ex. 9.1-9.3
W	11	Errors and Exceptions	PLLC 10	Ex. 10.1, 10.5, 10.6, 10.9
M	16	President's day
W	18	State, CS, CESK, GC	PLLC 11	Ex. 11.1-11.2
M	23	Types	PLLC 12	Ex. 12.1,12.6
W	25	Simply typed ISWIM	PLLC 13	Ex. 13.1-13.2
M	Mar  2	Meeting canceled
W	4	Meeting canceled
M	9	Spring break
W	11	Spring break
M	16	Variations on simply typed ISWIM	PLLC 14	Ex. 14.1-14.4
W	18	Polymorphism	PLLC 15	Ex. 15.1-15.2
M	23	Meeting canceled
W	25	Meeting canceled
M	30	Type inference	PLLC 16	Ex. 16.1-16.2
W	Apr  1	Recursive types	PLLC 17	Ex. 17.3
M	6
W	8
M	13
W	15
M	20