From system F to typed assembly language.

J. Gregory Morrisett David Walker Karl Crary Neal Glew

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

Keyphrases

language learning
natural language
higher order
lambda calculus
programming language
real time
language processing
representation language
formal language
databases
artificial intelligence
website
information extraction
language acquisition
declarative language