|
127
|
Complete type inference for simple objects
– M Wand
- 1987
|
|
727
|
On understanding types, data abstraction, and polymorphism
– Luca Cardelli, Peter Wegner
- 1985
|
|
475
|
A semantics of multiple inheritance
– Luca Cardelli
- 1988
|
|
119
|
Typechecking records and variants in a natural extension of ML
– D Rémy
- 1989
|
|
136
|
Operations on records
– Luca Cardelli, John C. Mitchell
- 1991
|
|
109
|
Type Inference for Record Concatenation and Multiple Inheritance
– Mitchell Wand
- 1989
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
82
|
Database programming in Machiavelli, a polymorphic language with static type inference
– Atsushi Ohori, Peter Buneman, Val Breazu-tannen
- 1989
|
|
1208
|
SmallTalk-80: The Language and its Implementation
– A Goldberg, D Robson
- 1983
|
|
23
|
Type Inference in a Database Programming Language
– A Ohori, P Buneman
- 1988
|
|
10
|
Alg`ebres Touffues. Application au Typage Polymorphe des Objects Enregistrements dans les Langages Fonctionnels. Th`ese de doctorat, Universit'e de Paris 7
– Didier R'emy
- 1990
|
|
12
|
Extensible records without subsumption
– Robert W Harper, Benjamin C Pierce
- 1990
|
|
55
|
A Record Calculus Based on Symmetric Concatenation
– Robert Harper, Benjamin Pierce
- 1991
|
|
195
|
Une extension de l’interprétation de Gödel à l’analyse et son application à l’élimination des coupures dans l’analyse et la théorie des types
– J-Y Girard
- 1970
|
|
24
|
Static type inference for parametric classes
– Atsushi Ohori, Peter Buneman
- 1989
|
|
221
|
Principal type schemes for functional programs
– L Damas, H Milner
- 1982
|
|
100
|
Structural Recursion as a Query Language
– Val Breazu-tannen, Peter Buneman, Shamim Naqvi
- 1991
|
|
62
|
Logical and Computational Aspects of Programming with Sets/Bags/Lists
– Val Breazu-tannen, Ramesh Subrahmanyam
- 1991
|
