|
84
|
A Nominal Theory of Objects with Dependent Types
– Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
- 2002
|
|
388
|
Mixin-based inheritance
– Gilad Bracha, William Cook
- 1990
|
|
261
|
Scaling Step-Wise Refinement
– Don Batory, Jacob Neal Sarvela, Axel Rauschmayer
- 2004
|
|
123
|
Traits: Composable Units of Behavior
– Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Andrew Black
- 2002
|
|
706
|
Eiffel: the language
– B Meyer
- 1992
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
163
|
MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java
– Curtis Clifton, Gary T. Leavens
- 2000
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
26
|
Essential language support for generic programming
– Jeremy Siek, Andrew Lumsdaine
- 2005
|
|
69
|
A Comparative Study of Language Support for Generic Programming
– Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
- 2003
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
63
|
Associated Types with Class
– Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow
- 2005
|
|
201
|
MetaML and Multi-Stage Programming with Explicit Annotations
– Walid Taha, Tim Sheard
- 1999
|
|
23
|
The Expression Problem Revisited — Four new solutions using generics
– Mads Torgersen
- 2004
|
|
211
|
The Design and Evolution of C
– B Stroustrup
- 1994
|
|
93
|
Virtual classes: A powerful mechanism in object-oriented programming
– Ole Lehrmann Madsen, Birger Møller-pedersen
- 1989
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
|
62
|
Scalable Component Abstractions
– Martin Odersky, Matthias Zenger
- 2005
|
|
81
|
The Java Language Specification, Third Edition
– James Gosling, Bill Joy, Guy Steele, Gilad Bracha
- 2005
|
