ALLTYPES: An ALgebraic Language and TYPE System.

Published in: AISC (1998)

Keyphrases

strongly typed
type checking
programming language
search algorithm
language learning
context dependent
database programming language
database
neural network
data structure
natural language
expert systems
relational databases
language processing
computational linguistics