The materials linked below are local copies of the HTML and Coq files available from the textbook’s Web site. They are slightly different. The textbook site has version 4.0, and the local site is version 4.1 (beta), which contains a few more clarifications and fixes for typos. Since the beta version is under active development, local files may be updated during the term, but there shouldn’t be any substantial differences from the stable version.
Timings below are approximate and will be changed as the term progresses. The initial schedule is based on the previous offering, and the textbook has been revised since then, but it should be accurate for the first few weeks at least.
Dates below will be updated as we proceed. There will be no classes in the week of September 19-23, 2016.
Maps, Imp, Equiv, Hoare updated Oct 27.
Smallstep, Auto, Types updated Nov 16.
Below this line dates are from 2014 (files are current).