Cayenne: spice up your programming with dependent types (1998)

by L Augustsson
Venue:Proceedings of ICFP