Quantified types in an imperative language.

Published in: ACM Trans. Program. Lang. Syst. (2006)

Keyphrases

natural language
programming language
artificial intelligence
information systems
language learning
declarative language
data sets
e learning
decision trees
case study
language processing
language acquisition
english language