A Typed Intermediate Language for Flow-Directed Compilation.

J. B. Wells Allyn Dimock Robert Muller Franklyn A. Turbak

Published in: TAPSOFT (1997)

Keyphrases

language learning
lambda calculus
higher order
programming language
natural language
linguistic knowledge
information retrieval
specification language
database
data sets
neural network
high level
flow field
language processing
representation language
operational semantics