A Class Abstraction for a Hierarchical Type System.

Giorgio Ghelli: A Class Abstraction for a Hierarchical Type System. ICDT 1990: 56-71
  author    = {Giorgio Ghelli},
  editor    = {Serge Abiteboul and
               Paris C. Kanellakis},
  title     = {A Class Abstraction for a Hierarchical Type System},
  booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {470},
  year      = {1990},
  isbn      = {3-540-53507-1},
  pages     = {56-71},
  ee        = {db/conf/icdt/Ghelli90.html},
  crossref  = {DBLP:conf/icdt/90},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


[Albano, Cardelli, Orsini 85]
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
[Albano, Ghelli, Orsini 88]
[Bruce, Longo 90]
Kim B. Bruce, Giuseppe Longo: A Modest Model of Records, Inheritance and Bounded Quantification. Inf. Comput. 87(1/2): 196-239(1990) BibTeX
[Cardelli 84]
[Cardelli 85]
[Cardelli, Wegner 85]
Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
[Cardelli, Donahue, Glassman and others 89]
[Curien, Ghelli 89]
Pierre-Louis Curien, Giorgio Ghelli: Coherence of Subsumption, Minimum Typing and Type-Checking in F<=. Mathematical Structures in Computer Science 2(1): 55-91(1992) BibTeX
[Dahl, Nygaard 66]
[Milner 78]
Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978) BibTeX

Referenced by

  1. Moira C. Norrie, Andreas Steiner, Alain Würgler, Martin Wunderli: A Model for Classification Structures with Evolution Control. ER 1996: 456-471
  2. Antonio Albano, Giorgio Ghelli, Renzo Orsini: Fibonacci: A Programming Language for Object Databases. VLDB J. 4(3): 403-444(1995)
  3. Christian Laasch, Marc H. Scholl: Deterministic Semantics of Set-Oriented Update Sequences. ICDE 1993: 4-13
  4. Christophe Lécluse: Rational of the O2 System. MFDBS 1991: 372-376
  5. Antonio Albano, Giorgio Ghelli, Renzo Orsini: Objects for a Database Programming Language. DBPL 1991: 236-253
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:19:02 2009