nwhitehe [at] ucsc [dot] edu
Baskin Engineering 259A
Office hours dedicated to CMPS 203: Tues 4-5 pm
General office hours: Tues 10-11 am, Thur 4-5 pm
gottlieb [at] soe [dot] ucsc [dot] edu
Office hours: E2 316 Wed 1:30-2:30, also by email
Types and Programming Languages, Benjamin Pierce
The Haskell School of Expression, Paul Hudak
The Formal Semantics of Programming Languages, Glynn Winskel
Interactive Theorem Proving and Program Development, Yves Bertot and Pierre Castéran
Certified Programming with Dependent Types, Adam Chlipala [PDF available online]
Timetables subject to change based on class feedback.
See the project page.