Extending the loop language with higher-order procedural variables.
Tristan CrolardEmmanuel PolonowskiPierre ValarcherPublished in: ACM Trans. Comput. Log. (2009)
Keyphrases
- higher order
- lambda calculus
- programming language
- pairwise
- lower order
- language learning
- natural images
- auxiliary variables
- markov random field
- object oriented
- high order
- natural language
- hidden markov models
- modeling language
- markov models
- language processing
- specification language
- low order
- operational semantics
- procedural knowledge
- artificial intelligence
- database