A Type System for Object-Oriented Database Programming and Querying Languages.

@inproceedings{DBLP:conf/dbpl/CaseauP91,
  author    = {Yves Caseau and
               Laurent Perron},
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {A Type System for Object-Oriented Database Programming and Querying
               Languages},
  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     = {218-235},
  ee        = {db/conf/dbpl/CaseauP91.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

[AK89]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[Ait86]

Hassan Aït-Kaci: An Algebraic Semantics Approach to the Effective Resolution of Type Equations. Theor. Comput. Sci. 45(3): 293-351(1986) BibTeX

[ABL89]

Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr: Efficient Implementation of Lattice Operations. ACM Trans. Program. Lang. Syst. 11(1): 115-146(1989) BibTeX

[BBM89]

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX

[BW86]

...

[Car88]

Luca Cardelli: Structural Subtyping and the Notion of Power Type. POPL 1988: 70-79 BibTeX

[Car89]

...

[Ca88]

...

[Ca91a]

Yves Caseau: An Object-Oriented Deductive Language. Ann. Math. Artif. Intell. 3(2-4): 211-258(1991) BibTeX

[Ca91b]

...

[CC77]

Patrick Cousot, Radhia Cousot: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. POPL 1977: 238-252 BibTeX

[CHC90]

William R. Cook, Walter L. Hill, Peter S. Canning: Inheritance Is Not Subtyping. POPL 1990: 125-135 BibTeX

[CP89]

William R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and its Correctness. OOPSLA 1989: 433-443 BibTeX

[CW85]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX

[Coi87]

Pierre Cointe: Metaclasses are First Class: the ObjVlisp Model. OOPSLA 1987: 156-167 BibTeX

[DS84]

Jim des Rivières, Brian Cantwell Smith: The Implementation of Procedurally Reflective Languages. LISP and Functional Programming 1984: 331-347 BibTeX

[FW84]

Daniel P. Friedman, Mitchell Wand: Reification: Reflection without Metaphysics. LISP and Functional Programming 1984: 348-355 BibTeX

[GJ90]

Justin O. Graver, Ralph E. Johnson: A Type System for Smalltalk. POPL 1990: 136-150 BibTeX

[GM86]

...

[HMM86]

...

[Ja89]

Dean Jacobs: A Type System for Algebraic Database Programming Languages. DBPL 1989: 238-247 BibTeX

[JGZ89]

Ralph E. Johnson, Justin O. Graver, Lawrence W. Zurawski: TS: An Optimizing Compiler for Smalltalk. OOPSLA 1988: 18-26 BibTeX

[KL89]

Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 BibTeX

[Ku85]

...

[KW89]

Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 BibTeX

[LR89]

Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 BibTeX

[McL81]

...

[Me88]

...

[Mil78]

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

[Mit90]

John C. Mitchell: Toward a Typed Foundation for Method Specialization and Inheritance. POPL 1990: 109-124 BibTeX

[MN88]

...

[OB89]

Atsushi Ohori, Peter Buneman: Static Type Inference for Parametric Classes. OOPSLA 1989: 445-456 BibTeX

[OBB89]

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

[Red88]

Uday S. Reddy: Objects as Closures: Abstract Semantics of Object-Oriented Languages. LISP and Functional Programming 1988: 289-297 BibTeX

[SZ87]

Andrea H. Skarra, Stanley B. Zdonik: Type Evolution in an Object-Oriented Database. Research Directions in Object-Oriented Programming 1987: 393-415 BibTeX

[Wan87]

Mitchell Wand: Complete Type Inference for Simple Objects. LICS 1987: 37-44 BibTeX

[YFS91]

Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. ICLP 1991: 379-393 BibTeX