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

Documents Related by Co-Citation

84 Database programming in Machiavelli, a polymorphic language with static type inference – Atsushi Ohori, Peter Buneman, Val Breazu-tannen - 1989
939 A theory of type polymorphism in programming – Robin Milner - 1978
26 Type Inference in a Database Programming Language – A Ohori, P Buneman - 1988
488 A semantics of multiple inheritance – Luca Cardelli - 1988
67 FAD, a powerful and simple database language – Francois Bancilhon, Ted Brlggs, Setrag Khoshafian, Patrick Valduriez - 1987
235 An approach to persistent programming – M P ATKINSON, P J BAILEY, K J CHISHOLM, P W COCKSHOTT, R MORRISON - 1990
87 R.Orsini: Galileo: a strongly typed, interactive conceptual language – Antonio Albano, Luca Cardelli, Renzo Orsini - 1985
24 Static type inference for parametric classes – Atsushi Ohori, Peter Buneman - 1989
44 ML With Extended Pattern Matching And Subtypes – Lalita A. Jategaonkar - 1989
136 Complete type inference for simple objects – Mitchell Wand - 1988
128 Typechecking records and variants in a natural extension of ML – D Rémy - 1989
103 Structural Recursion as a Query Language – Val Breazu-tannen, Peter Buneman, Shamim Naqvi - 1991
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
318 The Object-Oriented Database System Manifesto – Malcolm Atkinson, François Bancilhon, David DeWitt, Klaus Dittrich, David Maier, Stanley Zdonik - 1989
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
57 A compilation method for ML-style polymorphic record calculi – Atsushi Ohori - 1992
249 Objects and Views – Serge Abiteboul, Anthony Bonner - 1991