CS 430/530 Formal Semantics
John C. Reynolds, Theories of Programming Languages, Cambridge University Press, 1998, ISBN 0-521-59414-6.
Robert Harper's draft notes on Type Systems for Programming Languages (ps.gz, ps)
Homework assignments will contribute 80% of the course grade, the other 20% will come from the score on the final exam. The final exam will be take-home; the problems will be posted on the assignments page at 9am on May 2, and the results will be due by 9am on May 4.
Unless otherwise noted, homework is due by midnight of the due date. It may be e-mailed to the TA or the instructor, or a hard copy may be submitted in person to the instructor or dropped in either mailbox (313 or 304 in AKW).
Late submission policy: Each student has a total of 6 late days to use at their discretion with no penalty. Otherwise, the penalty is 10% of the grade per late day. No homework late for more than 10 days (including discretionary late days) will be accepted without permission from the Dean. Please let the TA know if you are using your discretionary late days when submitting homework after the due date.