Dependent ML: An approach to practical programming with dependent types (2007)

by H Xi
Venue:Journal of Functional Programming