An extension of Standard ML modules with Subtyping And Inheritance

by John Mitchell , Sigurd Meldal , Neel Madhav
Citations:58 - 8 self

Active Bibliography

223 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
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
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
32 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
153 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
3 The Diesel language specification and rationale: Version 0.2 – Craig Chambers - 2006
115 The Cecil Language, Specification and Rationale – Craig Chambers - 1993
1 Programming with Structures, Functions, and Objects – Fritz Henglein, Konstantin Läufer - 1991
10 Signatures: A C++ Extension for Type Abstraction and Subtype Polymorphism – Gerald Baumgartner, Vincent F. Russo - 1994
107 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995