Unifying object-oriented programming with typed functional programming.
Hongwei XiPublished in: ASIA-PEPM (2002)
Keyphrases
- functional programming
- object oriented programming
- programming language
- object oriented
- functional language
- programming concepts
- quantifier elimination
- exception handling
- key concepts
- object oriented languages
- object oriented databases
- high level
- artificial intelligence
- machine learning
- key features
- database design
- logic programming