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