|
32
|
Code reuse through polymorphic variants
– Jacques Garrigue
- 2000
|
|
6
|
Simple Type Inference for Structural Polymorphism
– Jacques Garrigue
- 2002
|
|
56
|
Recursive Structures for Standard ML
– Claudio V. Russo
- 2001
|
|
96
|
Applicative Functors and Fully Transparent Higher-Order Modules
– Xavier Leroy
- 1995
|
|
79
|
What is a Recursive Module?
– Karl Crary, Robert Harper, Sidd Puri
- 1999
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
32
|
Independently extensible solutions to the expression problem
– Matthias Zenger, Martin Odersky
- 2005
|
|
32
|
Extensible Algebraic Datatypes with Defaults
– Matthias Zenger, Martin Odersky
- 2001
|
|
84
|
Object-Oriented Programming Versus Abstract Data Types
– William R. Cook
- 1990
|
|
39
|
Synthesizing object-oriented and functional design to promote re-use
– Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman
- 1998
|
|
122
|
Modular Object-Oriented Programming with Units and Mixins
– Robert Bruce Findler, Matthew Flatt
- 1998
|
|
9
|
The expression problem. Discussion on the Java-Genericity mailing list
– Philip Wadler
- 1998
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
4
|
The Objective Caml system, release 3.09. Software and documentation available on the Web
– X Leroy, D Doligez, J Garrigue, D Rémy, J Vouillon
- 2005
|
|
4
|
The expression problem. Java Genericity maling list
– P Wadler
- 1998
|
|
27
|
A type system for well-founded recursion
– Derek Dreyer, Robert Harper, Karl Crary
- 2004
|
|
33
|
The Recursive Record Semantics of Objects Revisited
– Gérard Boudol, Projets Mimosa
- 2001
|
