Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism.
Geoffrey WashburnStephanie WeirichPublished in: J. Funct. Program. (2008)
Keyphrases
- higher order
- high level
- high order
- pairwise
- natural images
- search engine
- low order
- markov random field
- data mining
- lambda calculus
- anti unification
- encoding schemes
- markov models
- higher level
- image segmentation
- computer vision
- databases
- graphical models
- probabilistic model
- parametric models
- variable length
- special case
- encoding scheme
- natural language