Keyphrases
- functional programming
- international workshop
- acm sigkdd
- selected papers
- international conference
- naacl hlt
- functional language
- execution model
- cyber security and information intelligence
- workshop on artificial intelligence
- quantifier elimination
- programming language
- object oriented programming
- knowledge discovery and data mining
- international symposium
- acm sigmod
- human computation
- student research workshop
- database
- data management
- databases
- artificial intelligence
- high level
- lecture notes