Cayenne - a Language with Dependent Types.

Lennart Augustsson

Published in: ICFP (1998)

Keyphrases

language learning
programming language
english language
data sets
genetic algorithm
real time
real world
natural language
digital libraries
multiple types