From System F to Typed Assembly Language.

J. Gregory Morrisett David Walker Karl Crary Neal Glew

Published in: POPL (1998)

Keyphrases

programming language
language learning
higher order
lambda calculus
natural language
machine learning
specification language
representation language
neural network
data model
language processing
computational linguistics
linguistic knowledge
operational semantics
english language