Typed transformations of typed abstract syntax.

Arthur I. Baars S. Doaitse Swierstra Marcos Viera

Published in: TLDI (2009)

Keyphrases

higher order
high level
lambda calculus
wide range
fixed order
data sets
neural network
artificial intelligence
decision making
three dimensional
natural language
information technology