ML With Extended Pattern Matching And Subtypes (1989)

Cached

Download Links

by Lalita A. Jategaonkar
Citations:44 - 2 self

Active Bibliography

67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
58 A Record Calculus Based on Symmetric Concatenation – Robert Harper, Benjamin Pierce - 1991
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
2 Data structures and data types in objectoriented databases – Val Breazu-tannen, Peter Buneman, Atsushi Ohori - 1991
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
38 Extensible records in a pure calculus of subtyping – Luca Cardelli - 1994
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
1 Method Reuse in Typed Object-Oriented Languages – Ryan Stansifer, Dan Wetklow - 1994
58 An extension of Standard ML modules with Subtyping And Inheritance – John Mitchell, Sigurd Meldal, Neel Madhav
150 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
29 Type Substitution for Object-Oriented Programming – Jens Palsberg, Michael I. Schwartzbach - 1990
10 A Formal Foundation for Concurrent Object Oriented Programming – Radu Grosu, Alle Rechte Vorbehalten, Radu Grosu - 1994
4 Combining Inheritance and Parametric Polymorphism in a Functional Database Language – Simon Courtenage, Alexandra Poulovassilis, Ra Poulovassilis - 1995
1 Programming with Structures, Functions, and Objects – Fritz Henglein, Konstantin Läufer - 1991
Typing of Selective lambda-Calculus – Jacques Garrigue, Hassan Aït Kaci, Hassan Ait Kaci - 1993