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