Imperative programming with dependent types (2000)

by H Xi
Venue:In Proceedings of 15th IEEE Symposium on Logic in Computer Science