Dependent Types: Resources and Errata

David Aspinall and Martin Hofmann

A list of errata for the chapter.

The book homepage is at http://www.cis.upenn.edu/~bcpierce/attapl/.

David R. Aspinall, email david.aspinall@ed.ac.uk.
Contact GPG key (Instant HOWTO)