|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
267
|
G.D.: Abstract types have existential types
– J C Mitchell, Plotkin
- 1988
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
288
|
Subtyping recursive types
– Roberto M. Amadio, Cnrs-crin Nancy, Luca Cardelli
- 1993
|
|
55
|
An extension of Standard ML modules with Subtyping And Inheritance
– John Mitchell, Sigurd Meldal, Neel Madhav
|
|
727
|
On understanding types, data abstraction, and polymorphism
– Luca Cardelli, Peter Wegner
- 1985
|
|
109
|
Type Inference for Record Concatenation and Multiple Inheritance
– Mitchell Wand
- 1989
|
|
119
|
Typechecking records and variants in a natural extension of ML
– D Rémy
- 1989
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
18
|
The De nition of Standard ML(Revised
– R Milner, M Tofte, R Harper, D MacQueen
- 1997
|
|
104
|
Type inference for polymorphic references
– M Tofte
- 1990
|
|
303
|
The Annotated C++ Reference Manual
– M A Elis, B Stroustrup
- 1990
|
|
151
|
Refinement types for ML
– Tim Freeman
- 1994
|
|
55
|
A Record Calculus Based on Symmetric Concatenation
– Robert Harper, Benjamin Pierce
- 1991
|
|
74
|
Objects as closures: Abstract semantics of object-oriented languages
– Uday S. Reddy
- 1988
|
|
136
|
Operations on records
– Luca Cardelli, John C. Mitchell
- 1991
|
|
237
|
Inheritance is not subtyping
– W R Cook, W Hill, P S Canning
- 1990
|
|
86
|
An Overview of the FLINT/ML Compiler
– Zhong Shao
- 1997
|
|
268
|
Region-Based Memory Management
– Mads Tofte, Jean-Pierre Talpin
- 1997
|
