Typed Embedding of a Relational Language in OCaml.
Dmitry KosarevDmitry BoulytchevPublished in: ML/OCAML (2016)
Keyphrases
- lambda calculus
- programming language
- relational data
- language learning
- database language
- relational databases
- higher order
- rewriting rules
- relational calculus
- associative search
- relational data model
- algebraic operations
- xml query languages
- aggregate functions
- multi relational
- modeling language
- knowledge representation