Keyphrases
- functional programming
- acm sigkdd
- lecture notes
- naacl hlt
- international workshop
- international conference
- cyber security and information intelligence
- computer science
- workshop on artificial intelligence
- knowledge discovery and data mining
- hong kong
- functional language
- international symposium
- execution model
- human computation
- programming language
- acm sigmod
- quantifier elimination
- student research workshop
- object oriented programming
- selected papers
- invited talk
- panel discussion
- distributed database systems
- database systems