Dependent types in practical programming (1999)

by H Xi, F Pfenning
Venue:Professor of Computer Science at Texas State University at San Marcos and at the University of Texas