Dynamic typing in a statically-typed language, Proc. POPL, 1989. ,
Static type checking of multimethods, Proceedings of the sixth International Conference on Object-Oriented Programming : Systems, Languages and Applications, 1991. ,
Method schemas, Proceedings of the fourth ACM Symposium on the Principles of Database Systems, 1990. ,
Schémas orientés-objet : ExceptionsàExceptions`Exceptionsà la cohérence Comportementale et Envoi de Multi-Méthodes, 1994. ,
Common- Loops: Merging Lisp and object-oriented programming, Proceedings of the first International Conference on Object-Oriented Programming : Systems, Languages and Applications, 1986. ,
Semantics and implementation of schema evolution in object-oriented databases, Proceedings of the ACM SIGMOD International Conference on Management Of Data, 1987. ,
Modeling class hierarchies with contradictions, Proceedings of the ACM SIGMOD International Conference on Management Of Data, 1988. ,
Type systems for querying class hierarchies with non-strict inheritance, Proceedings of the eight ACM Symposium on Principles of Database Systems, 1989. ,
Safe type-checking in a statically-typed object-oriented programming language, Proc. POPL, 1993. ,
A semantics of multiple inheritance, Proceedings of the Symposium on Semantics of Data Types LNCS 173, 1984. ,
Cattell, editor. The Object Database Standard: ODMG-93, 1994. ,
F-bounded polymorphism for objectoriented programming, Proc. Intl. Conf. on Functional Programming and Computer Architecture, 1989. ,
Overview and progress report of the ESSE project : Supporting object-oriented database schema analysis and evolution, Proceedings of the eleventh International Conference on Technology of Object-Oriented Languages and Systems, 1993. ,
Subtyping without tears, Proc. Australian Computer Science Conference, 1992. ,
Subtyping and Assignment in Database Programming Languages, Proceedings of the second International workshop on Database Programming Languages, 1991. ,
DOI : 10.1007/978-3-642-59623-0_13
A proposal to make Eiffel type-safe, proceedings of the third European Conference on Object-Oriented Programming, 1989. ,
Updating the schema of an object-oriented database, IEEE Data Engineering Bulletin, vol.14, pp.33-37, 1991. ,
On understanding types, data abstraction, and polymorphism, ACM Computing Surveys, vol.17, issue.4, pp.471-522, 1985. ,
DOI : 10.1145/6041.6042
Multi-targetted virtual functions for OODB, INRIA Proceedings of the sixth Journées Bases de Données Avancées, 1990. ,
Polyglot: extensions to relational databases for sharable types and functions in a multi-language environment, Proceedings of IEEE 9th International Conference on Data Engineering, 1993. ,
DOI : 10.1109/ICDE.1993.344014
The Next Generation of Information Systems -from Data to Knowledge, chapter A Data and Operation Model for Advanced Database Systems, 1992. ,
Correctness of ISA hierarchies in Object-Oriented database schemas, Proc. EDBT, 1994. ,
DOI : 10.1007/3-540-57818-8_54
Object-Oriented Database Management: Applications in Engineering and Computer Science, 1994. ,
The new language extensions, C++ Report, vol.5, issue.6, pp.47-52, 1993. ,
An Algebraic Model of Class, Inheritance, and Message Passing, 1992. ,
ISO Working Draft) SQL Persistent Stored Modules (SQL/PSM) ,
EIFFEL : The Language, 1992. ,
Multi-methods in a statically-typed programming language, Proceedings of the fifth European Conference on Object- Oriented Programming, 1991. ,
DOI : 10.1007/BFb0057029
Strong typing of object-oriented languages revisited, Proc. ECOOP-OOPSLA, 1990. ,
Schema updates and consistency, Proceedings of the second International Conference on Deductive and Object-Oriented Databases LNCS 566, 1991. ,
Fundamentals of object-oriented databases, chapter Fundamentals of object-oriented databases, pp.1-32, 1989. ,
Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, pp.38031-38032 ,
Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004. ,