Cayenne - a language with dependent types. (1998)

by L Augustsson
Venue:In International Conference on Functional Programming,