|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
|
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
|
|
118
|
Using dependent types to express modular structure
– David Macqueen, David Macqueen
- 1986
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
96
|
Applicative Functors and Fully Transparent Higher-Order Modules
– Xavier Leroy
- 1995
|
|
180
|
Reflections on Standard ML
– David B. MacQueen
- 1992
|
|
727
|
On understanding types, data abstraction, and polymorphism
– Luca Cardelli, Peter Wegner
- 1985
|
|
52
|
Abstract types and the dot notation
– Luca Cardelli, Xavier Leroy
- 1990
|
|
133
|
Typeful programming
– Luca Cardelli
- 1989
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
51
|
A Semantics for Higher-order Functors
– David B. MacQueen, Mads Torre
- 1994
|
|
30
|
Principal Signatures for Higher-order Program Modules
– Mads Tofte, Mds Torre
- 1993
|
|
70
|
The essence of ML
– J C Mitchell, R Harper
- 1988
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
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
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
13
|
Extending Record typing to type parametric modules with sharing
– Maria Virginia Aponte
- 1993
|
