- 1 Atkinson, M., et al: The object-oriented database system manifesto. In Proceedings of the First International Conference on Deductive and Object-Oriented Databases, (Kyoto, Japan 1989). Elsevier Science, New York, 1990.Google ScholarCross Ref
- 2 Baclawski K. and Indurkhya, B. Technical correspondence. Commun. ACM 37, 9 (Sept. 1994), PPXX. Google ScholarDigital Library
- 3 Cleaveland, J.C. An Introduction to Data Types. Addison-Wesley, Reading, Mass., 1986. Google ScholarDigital Library
- 4 Darwen, H. and Date, C.J. Foundation for Object~Relational Databases: The Third Manifesto. Addison-Wesley, Reading, Mass., 1998. Google ScholarDigital Library
- 5 International Organization for Standardization: Database Language SQL--Part 2: SQL/Foundation (Committee Draft). SQL3 Committee Drafts can be found at the SQL website: ftp://jerry.ece.umassd, edu/isowg3/ dbl/BASEdocs/publicGoogle Scholar
- 6 Mattos, N. and DeMichiel, L.G. Recent design trade-offs in SQL3. ACM SIGMOD Re~. 23, 4 (Dec. 1994). Google ScholarDigital Library
- 7 Meyer, B. The many faces of inheritance: A taxonomy of taxonomy. IEEE Computer (May 1996). Google ScholarDigital Library
- 8 Taivalsaari, A. On the notion of inheritance. ACM Comp. Surv. 28, 3 (Sept. 1996). Google ScholarDigital Library
- 9 Zdonik, S.B. and Maier, D. Fundamentals of object-oriented databases. In S.B. Zdonik and D. Maier, eds. Readings in Object-Oriented Database Systems. San Morgan Kaufmann, Mateo, Calif. (1990). Google ScholarDigital Library
Index Terms
- Toward a model of type inheritance
Recommendations
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance
OOPSLA '11In previous work, we presented rules for defining overloaded functions that ensure type safety under symmetric multiple dispatch in an object-oriented language with multiple inheritance, and we showed how to check these rules without requiring the ...
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance
OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applicationsIn previous work, we presented rules for defining overloaded functions that ensure type safety under symmetric multiple dispatch in an object-oriented language with multiple inheritance, and we showed how to check these rules without requiring the ...
Comments