Cayenne–a language with dependent types (1998)

by Lennart Augustsson
Venue:In Proc. 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP