Subtyping is not a good "match" for object-oriented languages (1997)

by Kim B. Bruce , Leaf Petersen , Adrian Fiech
Venue: PROC. ECOOP '97
Citations:46 - 4 self

Active Bibliography

30 Subtyping is not a good "Match" for object-oriented languages – Kim B. Bruce, Leaf Petersen, Adrian Fiech - 1997
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
1 A Module System for LOOM – Leaf Eames Petersen - 1997
29 Typing in object-oriented languages: Achieving expressiveness and safety – Kim B. Bruce - 1996
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
1 Modules in LOOM: Classes are not enough – Kim B. Bruce, Leaf Petersen, Joseph Vanderwaart, Joseph V - 1998
3 Typed Intermediate Representations for Compiling Object-Oriented Languages – Joseph C. Vanderwaart - 1999
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
2 Extensible Objects: a Tutorial – Viviana Bono - 2003
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
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
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
3 The Diesel language specification and rationale: Version 0.2 – Craig Chambers - 2006
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
105 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995
Interface-Oriented Programming and Representation Inference – L. Robert Varney - 2005
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997