An extension of Standard ML modules with Subtyping And Inheritance

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

Active Bibliography

224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 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
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
1 Programming with Structures, Functions, and Objects – Fritz Henglein, Konstantin Läufer - 1991
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 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
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
7 Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d) – Benjamin C. Pierce - 1996
6 Contextual Polymorphism – Glen Jeffrey Ditchfield - 1994
31 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
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
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