Dependent Types

An introduction to dependent type systems.
David Aspinall and Martin Hofmann.
Dependent Types.
Chapter 2 of Advanced Topics in Types and Programming Languages, edited by B. Pierce, MIT Press 2005. pp 45-86.
Some resources and errata are available.

Click here to return to my papers page.

my Vcard
David R. Aspinall, email
Contact GPG key (Instant HOWTO)