Higher-Order Abstract Syntax.

Frank Pfenning Conal Elliott

Published in: PLDI (1988)

Keyphrases

higher order
high level
natural images
high order
low order
pairwise
lambda calculus
markov models
lower order
natural language
markov random field
predicate calculus
conditional random fields
genetic algorithm
multiscale
higher level
search algorithm
image sequences
website
search engine