Focusing and higher-order abstract syntax.

Noam Zeilberger

Published in: POPL (2008)

Keyphrases

higher order
high order
high level
markov models
low order
natural images
pairwise
higher level
lower order
markov random field
natural language
neural network
graphical models
inductive learning
context free grammars
syntactic analysis
rule language