Denotational cost semantics for functional languages with inductive types.
Norman DannerDaniel R. Licata RamyaaPublished in: ICFP (2015)
Keyphrases
- operational semantics
- machine learning
- logic programming
- inductive learning
- language independent
- language constructs
- formal semantics
- knowledge representation languages
- database languages
- formal language
- database
- expressive power
- databases
- multiple types
- text summarization
- constraint language
- highly expressive
- functional language