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

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

Active Bibliography

30 Subtyping is not a good "Match" for object-oriented languages – Kim B. Bruce, Leaf Petersen, Adrian Fiech - 1997
141 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
32 Typing in object-oriented languages: Achieving expressiveness and safety – Kim B. Bruce - 1996
590 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
824 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
32 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
1077 The Generative Lexicon – James Pustejovsky - 1991
510 A semantics of multiple inheritance – Luca Cardelli - 1988