|
30
|
Subtyping is not a good "Match" for object-oriented languages
– Kim B. Bruce, Leaf Petersen, Adrian Fiech
- 1997
|
|
135
|
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
|
|
30
|
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
|
|
108
|
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
|
|
138
|
The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance
– Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick
- 1992
|
|
33
|
Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1996
|
|
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
|
|
97
|
Typechecking and Modules for Multi-Methods
– Craig Chambers, Gary T. Leavens
- 1995
|
|
|
Interface-Oriented Programming and Representation Inference
– L. Robert Varney
- 2005
|
|
28
|
Polarized Higher-Order Subtyping
– Martin Steffen
- 1997
|
