A Calculus for Assignments in Higher-Order Languages.
Matthias FelleisenDaniel P. FriedmanPublished in: POPL (1987)
Keyphrases
- higher order
- lambda calculus
- database query languages
- pairwise
- expressive power
- language independent
- natural images
- high order
- low order
- type checking
- formal language
- relational calculus
- cross lingual
- lower order
- data sets
- markov random field
- databases
- grammatical inference
- relational algebra
- neural network
- text summarization
- target language
- query translation
- machine translation
- text classification
- query language
- data model
- bayesian networks
- computer algebra
- database systems
- multilingual information retrieval