Keyphrases
- international workshop
- functional programming
- acm sigkdd
- selected papers
- functional language
- execution model
- programming language
- quantifier elimination
- object oriented programming
- naacl hlt
- object oriented
- cyber security and information intelligence
- invited talk
- acm sigmod
- high level
- international symposium
- international conference
- query processing