Sign in

Scalable Certification for Typed Assembly Language.

Dan GrossmanJ. 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