Assignments

• A5. Domains and Denotational Semantics. Do Exercises 5.10, 5.14, and 5.2 in the book (due 31 March)

• A4. Axiomatic Semantics; QuickCheck (due 8 March)

• A3. Type Safety (due 22 February)
  PDF
  Postscript
  LaTeX source

• A2. Operational Semantics (due 1 February)

• A1. Haskell (due 20 January)
  Solution