Dependent types in practical programming (1999)

by H Xi, F Pfenning
Venue:In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages