Keyphrases
- programming language
- international workshop
- programming environment
- object oriented
- general purpose
- object oriented programming
- computer systems
- high level
- software engineering
- international conference
- computer science
- program code
- lecture notes
- strongly typed
- specification language
- programming tool
- database languages
- software developers
- functional language
- programming paradigms
- selected papers
- denotational semantics
- artificial intelligence
- functional programming
- software components
- software systems
- invited talk
- international symposium
- software development
- lambda calculus
- concurrent programming
- machine learning
- programming language constructs