This syllabus is approximate.

9/28

Dates	Lecture	Topic	Readings (in EOPL3)
9/14-9/16	1	Background	Chapters 1-2
9/16-9/21	2	Data Abstraction, Scanning & Parsing	Chapter 2
9/23-9/30 (2 lectures)	3	Expressions and Environments	Sections 3.1-3.5
	No Class
10/5-10/7	4	Binding and Lexical Addressing
10/12		No Class: Columbus Day
10/14-19	5	State	Chapter 4
10/21-10/26	6	Types	Chapter 7
10/28-11/9 (4 lectures)	7	Continuations and Monads	Secs. 5.1-5.4, Chap. 6
11/11		No Class: Veterans' Day
11/16, 18	8	Methods of Specifying Programming Languages
11/23, 11/30	9	Continuation Semantics, the CK machine, and the CKS machine	Notes
11/25		No Class: Thanksgiving Vacation
12/2	10	A Proof Using Smallstep Semantics
12/7, 12/9	11	Flow Analysis

---

Note: I assemble corrections, typos, etc., in class, but those corrections are not usually posted back to these notes. So caveat lector.