A Type System that Reconciles Classes and Extents (0)

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

Documents Related by Co-Citation

86 Database programming in Machiavelli, a polymorphic language with static type inference – Atsushi Ohori, Peter Buneman, Val Breazu-tannen - 1989
936 A theory of type polymorphism in programming – Robin Milner - 1978
29 Type inference in a database programming language – P Buneman - 1988
69 FAD, a powerful and simple database language – Francois Bancilhon, Ted Brlggs, Setrag Khoshafian, Patrick Valduriez - 1987
236 An approach to persistent programming – M P Atkinson, P J Bailey, K J Chisholm, W P Cockshott, R Morrison - 1983
138 Corrigendum : Complete type inference for simple object – M Wand - 1988
47 ML With Extended Pattern Matching And Subtypes – Lalita A. Jategaonkar - 1989
89 Galileo: a strongly typed, interactive conceptual language – Antonio Albano, Luca Cardelli, Renzo Orsini - 1985
26 Static type inference for parametric classes – Atsushi Ohori, Peter Buneman - 1989
129 Typechecking records and variants in a natural extension of ML – D Remy - 1989
105 Structural Recursion as a Query Language – Val Breazu-tannen, Peter Buneman, Shamim Naqvi - 1991
486 A semantics of multiple inheritance – Luca Cardelli - 1988
1562 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
320 The Object-Oriented Database System Manifesto – Malcolm Atkinson, Fran├žois Bancilhon, David DeWitt, Klaus Dittrich, David Maier, Stanley Zdonik - 1989
1267 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
249 Objects and Views – Serge Abiteboul, Anthony Bonner - 1991
1496 The C++ Programming Language – Bjarne Stroustrup - 1995
388 The design of Postgres – Michael Stonebraker, Lawrence A. Rowe - 1986
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori