Dependent types in practical programming (1999)

by Hongwei Xi, Frank Pfenning
Venue:In Twenty-Sixth ACM Symposium on Principles of Programming Languages