|
13
|
Implementing Extensible Compilers
– Matthias Zenger, Martin Odersky
- 2001
|
|
7
|
Reconciling Software Extensibility with Modular Program Reasoning
– Todd David Millstein
- 2003
|
|
30
|
Modular typechecking for hierarchically extensible datatypes and functions
– Todd Millstein, Colin Bleckner, Craig Chambers
- 2002
|
|
6
|
Implementing Extensible Theorem Provers
– Kathi Fisler, Shriram Krishnamurthi, Kathryn E. Gray
- 1999
|
|
32
|
Independently extensible solutions to the expression problem
– Matthias Zenger, Martin Odersky
- 2005
|
|
|
Type Safe Extensible Programming
– Wonseok Chae
- 2009
|
|
24
|
Programming Languages for Reusable Software Components
– Matthew Flatt
- 1999
|
|
47
|
MultiJava: Design rationale, compiler implementation, and applications
– Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers
- 2004
|
|
|
The Runabout ⋆
– Christian Grothoff
|
|
39
|
Synthesizing object-oriented and functional design to promote re-use
– Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman
- 1998
|
|
|
MultiJava: Design, Implementation, and Evaluation . . .
– Curtis Charles Clifton
- 2001
|
|
122
|
Modular Object-Oriented Programming with Units and Mixins
– Robert Bruce Findler, Matthew Flatt
- 1998
|
|
18
|
Evolving Software with Extensible Modules
– Matthias Zenger
- 2002
|
|
7
|
Toward a Formal Theory of Extensible Software
– Shriram Krishnamurthi, Matthias Felleisen
- 1998
|
|
2
|
MultiJava: Modular symmetric multiple dispatch and extensible classes for Java
– Copyright Curtis Clifton, Craig Chambers, Craig Chambers, Todd Millstein, Todd Millstein, Curtis Clifton, Curtis Clifton, Gary T. Leavens, Gary T. Leavens, Gary T. Leavens
- 2000
|
|
18
|
Some Challenging Typing Issues in Object-Oriented Languages (Extended Abstract)
– Kim B. Bruce
- 2003
|
|
4
|
Modular visitor components: A practical solution to the expression families problem
– Bruno C. D. S. Oliveira
- 2009
|
|
|
On Understanding Data . . .
– William R. Cook
- 2009
|
|
|
Visitor-Oriented Programming
– Thomas Vandrunen Jens
|
