Keyphrases
- programming language
- international workshop
- acm sigkdd
- selected papers
- knowledge discovery and data mining
- object oriented
- general purpose
- strongly typed
- high level
- lecture notes in artificial intelligence
- programming environment
- lambda calculus
- database languages
- software engineering
- data abstraction
- object oriented programming
- naacl hlt
- denotational semantics
- invited talk
- specification language
- logic programming
- computer science
- international symposium
- international conference
- functional programming
- object oriented concepts
- open source
- programming paradigms
- higher order
- concurrent programming
- databases