Dependent types in practical programming (1999)

by H Xi, F Pfenning
Venue:In Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages