Objective ML: An effective object-oriented extension to ML (1998)

by Didier Rémy , Jérôme Vouillon
Venue:THEORY AND PRACTICE OF OBJECT SYSTEMS
Citations:52 - 4 self

Active Bibliography

51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
20 Semi-Explicit First-Class Polymorphism for ML – Jacques Garrigue, Didier Rémy - 1999
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
55 Efficient Inference of Object Types – Jens Palsberg - 1995
2 Should ML be object-oriented? – David MacQueen
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
10 Static Typing for Dynamic Messages – Susumu Nishimura - 1998
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
26 An imperative object calculus – Martín Abadi, Luca Cardelli - 1995
19 From Classes to Objects via Subtyping – Didier Rémy - 1998
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
40 An Imperative, First-Order Calculus with Object Extension – Viviana Bono, Kathleen Fisher - 1998
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
4 Extensible records with scoped labels – Daan Leijen - 2005
5 Type Inference for First-Class Messages with Feature Constraints – Martin Müller, Susumu Nishimura - 1998
2 On the (un)reality of Virtual Types – Didier Rémy, Jérôme Vouillon - 1998