Dependenttypes in practical programming (1999)

by Hongwei Xi, Frank Pfenning
Venue:In Proc. 26th ACM Symp. Principles of Programming Languages (POPL'99