CSE 230 Readings

CSE 230: Principles of Programming Languages

Reading Assignments

Notes: Assignments will normally be posted by Monday, due on Tuesday of the following week. Be sure to reload this page frequently, because sometimes it may be updated frequently!

Due 15 January:
- pp. xi-xiii and 1-34, Preface and Chapter 1 of Stansifer, plus the associated class notes.
- pp. 1-9, Chapter 0 of Algebraic Semantics, and the associated class notes.
Due 22 January:
- pp. 39-69, Chapter 2 of Stansifer and the associated class notes.
- pp. 11-17 from Chapter 1 of Algebraic Semantics, and the associated class notes.
Due 29 January:
- Preliminary Essay on Comparative Programming Linguistics.
- pp. 17-29 from Chapter 1 of Algebraic Semantics, and the associated class notes.
- class notes on Chapter 0 of Algebraic Semantics (these are new and contain important motivational material).
- pp. 77-90, in Chapter 3 of Stansifer.
Due 5 February:
- 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.
- pp. 29-43 from Chapter 1 of Algebraic Semantics, and the associated class notes.
- pp. 91-100 in Chapter 3 of Stansifer.
- pp. 105-136, Chapter 4 of Stansifer, and the associated class notes.
- Propositional logic in OBJ.
Due 12 February:
- pp. 51-65, Chapter 2 of Algebraic Semantics (you can skim Section 2.1.1 for now), and the associated class notes.
- pp. 303-323, Chapter 9 of Stansifer and the associated class notes.
- pp. 1-43, Chapters 1 and 2 of Elements of ML Programming.
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. 145-164, up to Section 5.4.8 in Chapter 5 of Stansifer, 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.
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.
Due 5 March:
- pp. 187-208, Chapter 6 of Stansifer.
- 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.
- pp. 127-172, up to Section 5.5.2, in Chapter 5 of Elements of ML Programming.
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.
- pp. 193-223, up to Section 6.4, in Chapter 6 of Elements of ML Programming.
- Read Higher Order Functions Considered Unnecessary for Higher Order Programming; you may skip the appendix.

Some basics on using BinProlog 4.00 are at binpro.html, which has a link to the BinProlog 4.00 manual.

To CSE 230 homepage