Date		Topic	Notes	Homework
M	Jan   10	Reduction semantics	Redex I.1	Ex. I.1.1-6
W	12	Induction	Appendix 20	Ex. 20.1-3, 20.6
M	17	Martin Luther King Jr. day
W	19	Consistency; lambda calculus	Redex I.2; I.3.1-2	Ex. I.3.4-5
M	24	Lambda calculus encodings	Redex I.3.3-6	Ex. I.3.{7,8,12,13}
W	26	Recursion and normal forms	Redex I.3.7-10	Ex. I.3.16-17
M	31	ISWIM	Redex I.4	Ex. I.4.{1,2,9}
W	Feb  2	Redex	Redex II.11	Ex. II.11.2-5
M	7	Standard Reduction	Redex I.5	Ex. I.5.1-4
W	9	Variables and meta-functions	Redex II.12	II-12...
M	14	CC, SCC	Redex I.6.1-2	I-6.1-2...
W	16	CK, CEK	Redex I.6.3-5	I-6.3-4...
M	21	President's day
W	23	Tail calls and space	Redex I.7	Ex. I.7.2-3
M	28	Errors	Redex I.8.1-2	Ex. I.8.{1,7,9}
W	Mar  2	Exceptions	Redex I.8.3; II.3	I-8.3...
M	7	Continuations	Redex I.8.4	Ex. I.8.22
W	9	State	Redex I.9.1-3	Ex. I.9.{1,4,5,7}
M	14	CESK, GC	Redex I.9.4-5	take-home mid-term
W	16	Types	PLLC 12	Ex. 12.{1,6}
M	21	Spring break
W	23	Spring break
M	28	Simply Typed ISWIM	PLLC 13	13...
W	30	Pairs, Variants, Recursion	PLLC 14	Ex. 14.1-4
M	Apr  4	Polymorphism	PLLC 15	Ex. 15.1-2
W	6	Type inferrence	PLLC 16	Ex. 16.1-2
M	11	Class canceled
W	13	Recursive types	PLLC 17	Ex. 17.1-3
M	18	Existential types	PLLC 18	Ex. 18.1
W	20	Subtypes	PLLC 19	Ex. 19.1
M	25	Classes	PLLC 20	Ex. 20.2-4
W	27	Denotational semantics	denote, domains