Augustsson. Cayenne - a language with dependent types (1998)

by Lennart
Venue:In International Conference on Functional Programming