A multivalued language with a dependent type system.

Neal Glew Tim Sweeney Leaf Petersen

Published in: DTP@ICFP (2013)

Keyphrases

strongly typed
programming language
type checking
language learning
natural language
multi valued
database programming language
database
real world
data mining
genetic algorithm
learning algorithm
computer vision
information systems
computational linguistics
specification language