|
4
|
PolyD: A Flexible Dispatching Framework
– Antonio Cunei, Jan Vitek
- 2005
|
|
5
|
The role of programming languages in the life-cycle of safe systems
– Clemens Szyperski, John Gough
- 1995
|
|
1
|
Subtyping and Inheritance in Object-Oriented Programming
– Stoyan Kurtev
- 2000
|
|
6
|
Behavioral Subtyping in Object-Oriented Languages
– Krishna Kishore Dhara
- 1997
|
|
44
|
Engineering a Programming Language: The Type and Class System of Sather
– Clemens Szypersky, Stephen Omohundro, Stephan Murer
- 1994
|
|
|
C++-like object model
– Emanuele Panizzi, Bernardo Pastorelli, Emanuele Panizzi, Bernardo Pastorelli
|
|
3
|
Primitive Subtyping /\ Implicit Polymorphism |= Object-Orientation (extended abstract)
– François Bourdoncle, Stephen Merz
- 1996
|
|
49
|
Type Checking Higher-Order Polymorphic Multi-Methods
– Francois Bourdoncle , Stephan Merz
- 1997
|
|
5
|
Featherweight java with multi-methods
– Lorenzo Bettini, Sara Capecchi, Betti Venneri
- 2007
|
|
58
|
Parasitic Methods: An Implementation of Multi-Methods for Java
– John Boyland, Giuseppe Castagna
- 1997
|
|
22
|
Type-Safe Compilation of Covariant Specialization: A Practical Case
– John Boyland, Giuseppe Castagna
|
|
8
|
On the Integration of Functional Programming, Class-Based Object-Oriented Programming, and Multi-Methods
– Francois Bourdoncle, Stephan Merz
- 1996
|
|
|
A Simple Dispatch Technique for Pure Java Multi-Methods
– Rémi Forax, Etienne Duris, Gilles Roussel
|
|
13
|
Java Multi-Method Framework
– Rémi Forax, Etienne Duris, Gilles Roussel
- 2000
|
|
1
|
A Module System for LOOM
– Leaf Eames Petersen
- 1997
|
|
136
|
Program Fragments, Linking, and Modularization
– Luca Cardelli, Luca Cardelli
- 1997
|
|
|
Rule Inheritance and Overriding in Active Object-Oriented Databases
– Nauman Chaudhry, James Moyne, Elke Rundensteiner
|
|
|
Extending the Object-Orientedness of Ada 95
– Bernd Holzmüller
- 1996
|
|
|
Dubious: A Modular, Statically Typed OO Core Language
– Todd Millstein
|
