Using circular programs for higher-order syntax: functional pearl.
Emil AxelssonKoen ClaessenPublished in: ICFP (2013)
Keyphrases
- higher order
- high order
- functional language
- natural images
- hough transform
- pairwise
- markov random field
- conditional random fields
- automatic programming
- concurrent programs
- functional analysis
- functional programming
- java programs
- program code
- computer programs
- lambda calculus
- anti unification
- harmonic functions
- natural language
- control program
- lower order
- predicate calculus
- operational semantics
- belief change
- belief revision
- expert systems