Cayenne - a language with dependent types (1998)

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