The notes on readings are now broken down by book and by chapter, instead of being in one huge file, and there is a notes index page with links to each individual page of notes. You can still go to the old large file if you want to look at notes on future readings.

1. Due 10 January:
   • pp. xi-xiii and 1-34, the Preface and Chapter 1 of Stansifer, plus the associated class notes.
   • Preliminary Essay on Comparative Programming Linguistics.
   • pp. 1-9, Chapter 0 of Algebraic Semantics, and the associated class notes.
2. Due 17 January:
   • Read the New York Times story on the Ariane 5 rocket failure, and at least skim the full official report for the key technical details; there are also pdf versions of the first and second items.
   • pp. 39-69, Chapter 2 of Stansifer and the associated class notes (you may skip inherited attribures).
   • pp. 11-17 from Chapter 1 of Algebraic Semantics, and the associated class notes.
   • Reread Preliminary Essay on Comparative Programming Linguistics, it has been updated.
3. Due 24 January:
   • pp. 17-29 from Chapter 1 of Algebraic Semantics, and the associated class notes.
   • pp. 77-100, Chapter 3 of Stansifer (but you can skip 3.4.2); at the moment there are no associated class notes.
   • Propositional logic in OBJ.
4. Due 31 January:
   • pp. 29-43 from Chapter 1 of Algebraic Semantics, and the associated class notes.
   • pp. 105-136, Chapter 4 of Stansifer, and the associated class notes.
5. Due 5 February:
   • pp. 51-63, Chapter 2 of Algebraic Semantics (you can skim Section 2.1.1 for now), and the associated class notes.
   • pp. 303-317, Chapter 9 of Stansifer and the associated class notes.
6. Due 12 February:
   • pp. 1-43, Chapters 1 and 2 of Elements of ML Programming and the associated class notes.
   • pp. 145-164, up to Section 5.4.8 in Chapter 5 of Stansifer, and the associated class notes.
7. Due 19 February:
   • pp. 67-78, Chapter 3 of Algebraic Semantics, and the associated class notes.
   • pp. 79-89, Chapter 4 of Algebraic Semantics, and the associated class notes.
   • pp. 45-74, up to Section 3.3.7, in Chapter 3 of Elements of ML Programming, and the associated class notes.
8. Due 26 February:
   • pp. 91-108, Chapter 5 (on Iteration) of Algebraic Semantics, and the associated class notes.
   • pp. 185-199, Appendix B of Algebraic Semantics (but you may skim the proof of Theorem 34), and the associated class notes.
   • pp. 164-179, the rest of Chapter 5 of Stansifer, and the associated class notes; you may skim Section 5.6.4.
   • pp. 77-99, the rest of Chapter 3 of Elements of ML Programming, and the associated class notes; you may skim section 3.6.
9. Due 5 March:
   • pp. 187-208, Chapter 6 of Stansifer, and the class notes.
   • pp. 217-260, Chapter 7 of Stansifer; you may place less emphasis on Section 7.7.1, you can skip 7.7.2, and skim Section 7.8 and the proofs in Sections 7.2, 7.3.1 and 7.4.
   • Lambda calculus in OBJ, and the associated class notes.
   • Optional: Combinators in OBJ.
   • pp. 127-172, up to Section 5.5.2, in Chapter 5 of Elements of ML Programming and the associated class notes.
10. Due 12 March:
    • Skim pp. 269-294, Chapter 8 of Stansifer, plus the associated class notes.
    • pp. 172-181, up to Section 5.6, in Chapter 5 of Elements of ML Programming and the associated class notes.
    • pp. 193-223, up to Section 6.4, in Chapter 6 of Elements of ML Programming and the associated class notes; you may skip details.
    • Read Higher Order Functions Considered Unnecessary for Higher Order Programming; you may skip the appendix.
    • Notes on Internet Languages.
    • Perl: The first postmodern computer language (please don't take it too seriously).
    • Reread Preliminary Essay on Comparative Programming Linguistics; it has been updated a bit, and it should make more sense now that the course has gone through more content.