Cayenne — a language with dependent types (1998)

by Lennart Augustsson
Venue:In ACM SIGPLAN International Conference on Functional Programming (ICFP’98), volume 34(1) of ACM SIGPLAN Notices