Cayenne - A Language with Dependent Types.

Lennart Augustsson

Published in: Advanced Functional Programming (1998)

Keyphrases

multiscale
user interface
object oriented
general purpose
programming language
object oriented programming
databases
language processing
linguistic knowledge
formal language