Scalable Certification for Typed Assembly Language.

Dan Grossman J. Gregory Morrisett

Published in: Types in Compilation (2000)

Keyphrases

lambda calculus
higher order
programming language
language learning
third party
natural language
english language
databases
neural network
information retrieval
language processing
target language
web scale