Efficient handling of multiple inheritance hierarchies
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Attaching Second-Order Types to Methods in an Object-Oriented Language
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Hi-index | 0.00 |
In this paper we present an extended type system for an object-oriented database language, based uniquely on the set interpretation of objects classes. We show that this system has the same expressive power as more complex approaches and is well suited to type inference for programming or querying database languages.