A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language.
Leonardo RodríguezDaniel FridlenderMiguel PaganoPublished in: TYPES (2013)
Keyphrases
- higher order
- lambda calculus
- programming language
- natural language
- natural images
- high order
- pairwise
- specification language
- neural network
- language learning
- lower order
- objective function
- database systems
- artificial intelligence
- real time
- conditional random fields
- language processing
- low order
- english language
- anti unification
- databases