|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
125
|
Qualified types: theory and practice
– M P Jones
- 1992
|
|
67
|
A Polymorphic Record Calculus and Its Compilation
– Atsushi Ohori
- 1995
|
|
119
|
Typechecking records and variants in a natural extension of ML
– D Rémy
- 1989
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
99
|
Sound Polymorphic Type Inference for Objects
– Jonathan Eifrig, Scott Smith, Valery Trifonov
- 1995
|
|
53
|
Type inference in the presence of overloading, subtyping and recursive types
– Stefan Kaes
- 1992
|
|
52
|
Efficient Inference of Object Types
– Jens Palsberg
- 1995
|
|
49
|
Type Checking Higher-Order Polymorphic Multi-Methods
– Francois Bourdoncle , Stephan Merz
- 1997
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
67
|
R.P.: The Common Lisp Object System: An Overview
– G DeMichiel, Gabriel
- 1987
|
|
24
|
Type Reconstruction for Type Classes
– Tobias Nipkow, Christian Prehofer
- 1995
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
81
|
Type inference with constrained types. Theory and Practice of Object Systems
– M Odersky, M Sulzmann, M Wehr
- 1999
|
|
203
|
Type Inclusion Constraints and Type Inference
– Alexander Aiken, Edward L. Wimmers
- 1993
|
|
135
|
PolyTOIL: A type-safe polymorphic object-oriented language
– Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent
- 1995
|
|
45
|
Parametric overloading in polymorphic programming languages
– S Kaes
- 1988
|
|
138
|
Type classes with functional dependencies
– Mark P. Jones
- 2000
|
