A Type System that Reconciles Classes and Extents (0)

by Peter Buneman , Atsushi Ohori
Venue:In 3rd International Workshop on Database Programming Languages
Citations:12 - 4 self

Active Bibliography

38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
2 Data structures and data types in objectoriented databases – Val Breazu-tannen, Peter Buneman, Atsushi Ohori - 1991
29 Second-Order Signature: A Tool for Specifying Data Models – Ralf Hartmut G├╝ting - 1993
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
3 Ohori: Static Type Checking in Object-Oriented Databases – Val Breazu-tannen, Peter Buneman, Atsushi Ohori - 1989
12 A Polymorphic Calculus for Views and Object Sharing – Atsushi Ohori, Keishi Tajima - 1994
4 An Approach to Multilanguage Persistent Type System – Kazuhiko Kato, Atsushi Ohori - 1992
52 Concrete Type Inference: Delivering Object-Oriented Applications – Ole Agesen - 1995
2 Attaching Second-Order Types to Methods in an Object-Oriented Language – Yves Caseau, Laurent Perron - 1993
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
1 OBJECT ORIENTED PROGRAMMING: INHERITANCE TO ADOPTION – T. B. Dinesh - 1991
29 Type Substitution for Object-Oriented Programming – Jens Palsberg, Michael I. Schwartzbach - 1990
19 Static Typing for Object-Oriented Programming – Jens Palsberg , Michael I. Schwartzbach - 1994
2 Language Technology for Post-Relational Data Systems – Joachim W. Schmidt, Florian Matthes - 1990
25 A Stack-Based Approach to Query Languages – Kazimierz Subieta, Catriel Beeri, Florian Matthes, Joachim W. Schmidt - 1994
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
59 The COCOON Object Model – M.H. Scholl, C. Laasch, C. Rich, M. Tresch, H.-J. Schek - 1994
Processing Semi-Structured Data in Object Bases – Kazimierz Subieta, Jacek Leszczylowski, Irek Ulidowski - 1998