Stack-based typed assembly language.

J. Gregory Morrisett Karl Crary Neal Glew David Walker

Published in: J. Funct. Program. (2002)

Keyphrases

lambda calculus
programming language
natural language
higher order
computational linguistics
language learning
real world
decision trees
multi agent
knowledge representation
logic programming
language processing
predicate calculus