A Class Abstraction for a Hierarchical Type System.

@inproceedings{DBLP:conf/icdt/Ghelli90,
  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        = {http://dx.doi.org/10.1007/3-540-53507-1_70},
  crossref  = {DBLP:conf/icdt/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[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)

[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)

[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)

[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)

[Dahl, Nygaard 66]

...

[Milner 78]

Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978)