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
sabry ... cs indiana edu