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:
- Due 5 February:
- 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:
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
Maintained by Joseph Goguen
© 2000, 2001 Joseph Goguen
Last modified: Tue Mar 27 18:45:41 PST 2001