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