Dependent types in practical programming (1999)

by H Xi, F Pfenning
Venue:in: Proc. ACM Symposium on Principles of Programming Languages (POPL