Schedule

	Date	Topic	Read	Turn in	Comments
Jan	14	Reasoning about programming languages	1.1
	16	Introduction to Scheme	1.2		Guest Lecture
	21	Parsing and Abstract Syntax	2.2
	23	Substitution-based Lambda Calculus		Hw 1	Add period ends Friday
	28	Environment-based interpreter, let, if, lambda and letrec	3.3-3.6		Guest Lecture
	30	Mutation and parameter passing	3.7-3.9		Guest Lecture
Feb	4	Environment-based interpreter	3.5	Hw 2
	6	Recursive functions	2.3, 3.6
	11	Parameter passing	3.7-3.8	Hw 3
	13	Lazy evaluation & streams	Why functional programming matters		Drop period ends Friday
	18	Type checking	4.1-4.2	Hw 4
	20	Type soundness	Lecture notes
	25	Type abstraction	4.3	Hw 5
	27	Type inference	4.4
Mar	4	Continuations	7.1	Hw 6
	6	Imperative interpreter	7.2, 7.3
	11				Spring break
	13				Spring break
	18	Midterm
	20	Exceptions	7.4
	25	Multithreading	7.5		Registration
	27	Continuations	8.1		for
Apr	1	CPS conversion	8.2-8.4		Fall
	3	CPS conversion	Lecture notes	Hw 7	2003
	8	Objects	5.1-5.2
	10	Implementing Objects	5.3-5.4	Hw 8
	15	Implementing Objects	5.4
	17	Typed Object Languages	6.1	Hw 9
	22	Type Checker	6.2
	24	Wrap-up, AOP		Hw 10
May	6 (Tues)	Final Exam 8:30-10:30am	Towne 307	Final Review	Scheduled by the registrar

Last modified: 28-apr-03