Object-Oriented Functional Programming and Type Reconstruction.
Zhenyu QianBernd Krieg-BrücknerPublished in: COMPASS/ADT (1995)
Keyphrases
- functional programming
- object oriented
- object oriented programming
- programming language
- execution model
- functional language
- quantifier elimination
- object oriented databases
- relational databases
- database applications
- data warehousing
- reverse engineering
- integrity constraints
- artificial intelligence
- database design
- multi dimensional
- information systems