|
23
|
The Expression Problem Revisited — Four new solutions using generics
– Mads Torgersen
- 2004
|
|
32
|
Code reuse through polymorphic variants
– Jacques Garrigue
- 2000
|
|
84
|
A Nominal Theory of Objects with Dependent Types
– Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
- 2002
|
|
84
|
Object-Oriented Programming Versus Abstract Data Types
– William R. Cook
- 1990
|
|
88
|
Family polymorphism
– Erik Ernst
- 2001
|
|
32
|
Extensible Algebraic Datatypes with Defaults
– Matthias Zenger, Martin Odersky
- 2001
|
|
39
|
Synthesizing object-oriented and functional design to promote re-use
– Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman
- 1998
|
|
18
|
Some Challenging Typing Issues in Object-Oriented Languages (Extended Abstract)
– Kim B. Bruce
- 2003
|
|
33
|
Programming with Polymorphic Variants
– Jacques Garrigue
- 1998
|
|
25
|
The Expression Problem Revisited
– M Torgersen
- 2004
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
59
|
Dynamically Composable Collaborations with Delegation Layers
– Klaus Ostermann
- 2002
|
|
47
|
MultiJava: Design rationale, compiler implementation, and applications
– Curtis Clifton, Todd Millstein, Gary T. Leavens, Craig Chambers
- 2004
|
|
69
|
A Statically Safe Alternative to Virtual Types
– Kim B. Bruce, Martin Odersky, Philip Wadler
- 1998
|
|
52
|
Scalable extensibility via nested inheritance
– Nathaniel Nystrom, Stephen Chong, Andrew C. Myers
- 2004
|
|
49
|
Evaluating Support for Features in Advanced Modularization Technologies
– Roberto E. Lopez-herrejon, Don Batory, William Cook
- 2005
|
|
122
|
Modular Object-Oriented Programming with Units and Mixins
– Robert Bruce Findler, Matthew Flatt
- 1998
|
|
79
|
What is a Recursive Module?
– Karl Crary, Robert Harper, Sidd Puri
- 1999
|
|
30
|
User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction
– J Reynolds
- 1994
|
