Keyphrases
- international workshop
- functional programming
- acm sigkdd
- selected papers
- execution model
- functional language
- quantifier elimination
- object oriented programming
- programming language
- lecture notes in artificial intelligence
- computer science
- knowledge discovery and data mining
- invited talk
- naacl hlt
- relational databases
- database
- lecture notes
- xml documents