Toward a foundational typed assembly language.

Published in: POPL (2003)

Keyphrases

lambda calculus
programming language
language learning
higher order
natural language
multi agent systems
language processing
data structure
search engine
machine learning
databases
modeling language
specification language
linguistic knowledge
process planning
java programming
declarative language
neural network