Cayenne - a language with dependent types (1998)

by Lennart Augustsson
Venue:In International Conference on Functional Programming