|
7
|
Reconciling Software Extensibility with Modular Program Reasoning
– Todd David Millstein
- 2003
|
|
47
|
MultiJava: Design rationale, compiler implementation, and applications
– Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers
- 2004
|
|
30
|
Type-safe prototype-based component evolution
– Matthias Zenger
- 2002
|
|
|
Expressive Modular Linking for Object-Oriented Languages
– Sean McDirmid, Wilson C. Hsieh, Matthew Flatt
- 2002
|
|
2
|
Expressive Modular Linking for Object-Oriented Languages
– Wilson C. Hsieh, Matthew Flatt, Sean Mcdirmid, Sean Mcdirmid
- 2002
|
|
24
|
Programming Languages for Reusable Software Components
– Matthew Flatt
- 1999
|
|
1
|
A Framework for Modular Linking in OO Languages
– Sean Mcdirmid, Wilson C. Hsieh, Matthew Flatt
|
|
19
|
Feathertrait: A modest extension of featherweight java
– Luigi Liquori, Arnaud Spiwack, Ens Cachan
- 2007
|
|
|
MultiJava: Design, Implementation, and Evaluation . . .
– Curtis Charles Clifton
- 2001
|
|
12
|
Aspect-Oriented Programming with Jiazzi
– Sean Mcdirmid, Wilson C. Hsieh
- 2003
|
|
2
|
Mixin modules, modules and extended value binding in a call-by-value setting
– Tom Hirschowitz
- 2003
|
|
4
|
Modularly Typesafe Interface Dispatch in JPred
– Christopher Frost, Todd Millstein
- 2006
|
|
27
|
A basic model of typed components
– João Costa Seco, Luís Caires
- 2000
|
|
26
|
Equational Reasoning for Linking with First-Class Primitive Modules
– J. B. Wells, René Vestergaard
- 2000
|
|
4
|
Analyzing module diversity
– Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz
- 2005
|
|
3
|
CZ: Multiple Inheritance Without Diamonds
– Donna Malayeri, Jonathan Aldrich
|
|
18
|
Evolving Software with Extensible Modules
– Matthias Zenger
- 2002
|
|
7
|
Integrating Nominal and Structural Subtyping
– Donna Malayeri, Jonathan Aldrich
- 2007
|
|
|
The Runabout ⋆
– Christian Grothoff
|
