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 david.aspinall@ed.ac.uk.
Contact GPG key (Instant HOWTO)