A Type System that Reconsiles Classes and Extents.

@inproceedings{DBLP:conf/dbpl/BunemanO91,
  author    = {Peter Buneman and
               Atsushi Ohori},
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {A Type System that Reconsiles Classes and Extents},
  booktitle = {Database Programming Languages: Bulk Types and Persistent Data.
               3rd International Workshop, August 27-30, 1991, Nafplion, Greece,
               Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-242-9},
  pages     = {191-202},
  ee        = {db/conf/dbpl/BunemanO91.html},
  crossref  = {DBLP:conf/dbpl/91},
  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-5 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

[BBKV88]

François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105

[BBN91]

Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19

[BS91]

Val Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75

[Car86]

...

[Car88a]

Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988)

[Car88b]

...

[Hin69]

...

[HMT88]

...

[Mil78]

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

[OB88]

Atsushi Ohori, Peter Buneman: Type Inference in a Database Programming Language. LISP and Functional Programming 1988: 174-183

[OBBT89]

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57

[Oho90]

...

[SR87]

...

[Str86]

Bjarne Stroustrup: The C++ Programming Language, First Edition. Addison-Wesley 1986, ISBN 0-201-12078-X

[Tof88]

...

[WZ89]

Peter Wegner, Stanley B. Zdonik: Models of Inheritance. DBPL 1989: 248-255