On the integration of functional programming, class-based object-oriented programming, and multi-methods
|
1267
|
Abstract interpretation : a unified lattice model for the static analysis of programs by construction or approximation of fixpoints
– Cousot, Cousot
- 1977
|
|
801
|
A theory of type polymorphism in programming
– Milner
- 1978
|
|
795
|
A theory of objects
– Abadi, Cardelli
- 1996
|
|
267
|
How to make ad-hoc polymorphism less ad-hoc
– Wadler, Blott
- 1989
|
|
164
|
A system of constructor classes: Overloading and implicit higher-order polymorphism
– Jones
- 1993
|
|
136
|
A paradigmatic object-oriented programming language: Design, static typing, and semantics
– Bruce
- 1994
|
|
115
|
Covariance and contravariance: conflict without a cause
– Castagna
- 1995
|
|
113
|
The principal type-scheme of an object in combinatory logic
– Hindley
- 1969
|
|
106
|
Sound polymorphic type inference for objects
– Eifrig, Smith, et al.
- 1995
|
|
104
|
Type inference with simple subtypes
– Mitchell
- 1991
|
|
97
|
Typechecking and modules for multi-methods
– Chambers, Leavens
- 1995
|
|
88
|
Polymorphic Type Inference and Containment
– Mitchell
- 1988
|
|
83
|
Type inference with subtypes
– FUH, MISHRA
- 1990
|
|
77
|
Efficient chaotic iteration strategies with widenings
– Bourdoncle
- 1993
|
|
72
|
Simplifying Subtyping Constraints
– Pottier
- 1996
|
|
70
|
Coherence of subsumption, minimum typing and typechecking
– Curien, Ghelli
- 1992
|
|
67
|
Dynamic typing in a statically-typed language
– Abadi, Cardelli, et al.
- 1989
|
|
66
|
A theory of primitive objects: Second–order systems
– Abadi, Cardelli
- 1994
|
|
61
|
Efficient inference of object types
– Palsberg
- 1995
|
|
60
|
The Common Lisp Object System: an Overview
– DeMichiel, Gabriel
- 1987
|
|
60
|
An extension of Standard ML modules with subtyping and inheritance
– Mitchell, Meldal, et al.
- 1991
|
|
57
|
Type Inference in the Presence of Overloading, Subtyping and Recursive Types
– Kaes
- 1992
|
|
49
|
Dynamics in ML
– Leroy, Mauny
- 1993
|
|
42
|
Extensional polymorphism
– Dubois, Rouaix, et al.
- 1995
|
|
42
|
Coercion and type inference (summary
– Mitchell
- 1984
|
|
41
|
A second look at overloading
– Odersky, Wadler, et al.
- 1995
|
|
38
|
Polymorphic subtype inference: Closing the theorypractice gap
– Fuh, Mishra
- 1989
|
|
35
|
Abstract interpretation by dynamic partitioning
– Bourdoncle
- 1992
|
|
27
|
Decidable bounded quantification
– Castagna, Pierce
- 1994
|
|
21
|
Report on the Programming Language Haskell (version 1.4) - draft
– Peterson, Hammond, et al.
- 1997
|
|
19
|
On circuits and numbers
– Vuillemin
- 1994
|
|
16
|
Type Inference with extended pattern matching and subtypes
– Jategaonkar, Mitchell
- 1993
|
|
15
|
Le syst`eme Caml Special Light: modules et compilation efficace en Caml
– Leroy
- 1995
|
|
14
|
Kinded Parametric Overloading
– Duggan, Ophel
- 1994
|
|
12
|
Polymorphic typing by abstract interpretation
– Monsuez
- 1992
|
|
12
|
On the complexity of type inference with coercion
– Wand, O'Keefe
- 1989
|
|
11
|
Polymorphic Methods With Self Types for ML-like Languages
– Duggan
- 1995
|
|
11
|
Polymorphic types and widening operators
– Monsuez
- 1993
|
|
7
|
Parametric Polymorphism
– Kaes
- 1988
|
|
5
|
et al. The CAML reference manual, version 2.6.1
– Weis
- 1990
|
|
4
|
integrating parametric and ad-hoc second order polymorphism
– unknown authors
- 1993
|
|
3
|
Dynamic Typing in a Dynamic Typing in Polymorphic Languages
– Abadi, Cardelli, et al.
- 1995
|
|
3
|
Methods as Assertions. Theory and Practice of Object Systems
– Abadi, Lamping
- 1995
|
|
3
|
Type Inclusion Constraints and Type Inference. FPCA'93
– Aiken, Wimmers
- 1993
|
