Embedding an interpreted language using higher-order functions and types.

Published in: J. Funct. Program. (2011)

Keyphrases

higher order
lambda calculus
high order
language learning
artificial intelligence
natural language
pairwise
programming language
natural images
high level
bayesian networks
modeling language
predicate invention