- Jan 6
- From Chapter 1, read sections 1.1-1.3, section 1.7, and the first part of section 1.8 on induction on natural numbers and expressions. Skim section 1.4-1.6 and the rest of section 1.8 so you know what is here in case you want to read this material later in the course.
- Jan 8, 13
- These lectures covered the definition of PCF from Chapter 2. Read sections 2.1 and 2.2. Some questions came up in class about the full formal definition of the syntax of PCF and its type properties. We did not cover this in detail, but those interested in the topic can look at sections 4.3.1-4.3.3 for further information.
- Jan 15
- Relationships between axiomatic, operational, and denotational semantics: read Section 2.3.
Evaluation and reduction strategies: read section 2.4.
- Jan 20
- Read sections 2.5.1 through 2.5.4.
- Jan 22
- Read sections 2.5.5 and 2.5.6.
- Jan 27
- Review section 2.5.6 and read sections 3.1 and 3.2.
- Jan 29
- Read section 3.3.
- Feb 3
- Read sections 3.4.1-3.4.3.
- Feb 5
- Read section 3.4.5.
- Feb 9/10
- Read sections 3.5 and 3.6.1 and 3.6.2.
- Feb 17
- Finish section 3.6 (including sections 3.6.3 and 3.6.4).
- Feb 19
- Read sections 5.1, 5.2.1, and 5.2.2.
- Feb 24
- Read sections 5.2.3 and 5.2.4.
- Feb 26
- Read section 5.2.5.
- Mar 3
- Read section 5.4.1 and the first part of 5.4.2 on computational adequacy and full abstraction.
Read section 6.1 and 6.2 introducing while programs.
- Mar 5
- Read section 6.3 and 6.4.1.
- Mar 10
- Read section 6.4.2 and 6.4.3.
- Mar 12
- Read section 6.5.