Dependent Types

Cayenne -- a Language with Dependent Types

L. Augustsson[ (ed)] (INPROCEEDINGS, 1998)

Constructive Mathemeatics and Computer Programming

P. Martin-Löf (INBOOK, 1980)

Eliminating Array Bound Checking Through Dependent Types

H. Xi and F. Pfenning[ (ed)] (INPROCEEDINGS, 1998)

Dependent Types in Practical Programming

H. Xi and F. Pfenning[ (ed)] (INPROCEEDINGS, 1999)