Dependent types (2005)

by David Aspinall, Marin Hofmann
Venue:Advanced Topics in Types and Programming Languages, chapter 10