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

Published in: IVME (2003)

Keyphrases

higher order
high order
lambda calculus
pairwise
programming language
natural images
language learning
low order
multiscale
hidden markov models
multiple types
predicate invention
data sets
functional language
target language
high level
neural network