|
163
|
Unboxed Objects and Polymorphic Typing
– Xavier Leroy
- 1992
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
65
|
Tag-free Garbage Collection Using Explicit Type Parameters
– Andrew Tolmach
|
|
28
|
Polymorphism for Imperative Languages without Imperative Types
– Andrew Wright
- 1993
|
|
135
|
Separate Compilation for Standard ML
– Andrew W. Appel, David B. Macqueen
- 1994
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
61
|
Runtime Tags Aren't Necessary
– Andrew W. Appel, Andrew W
- 1988
|
|
56
|
A compilation method for ML-style polymorphic record calculi
– Atsushi Ohori
- 1992
|
|
38
|
Formally optimal boxing
– Fritz Henglein, Jesper J0rgensen
- 1994
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
17
|
Partial Evaluation for Dictionary-free Overloading
– Mark P. Jones
- 1993
|
|
82
|
Coherence for Qualified Types
– Mark P. Jones
- 1993
|
|
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
|
|
339
|
Towards a theory of type structure
– J C Reynolds
|
|
29
|
Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction
– Shail Aditya, Christine H. Flood, James E. Hicks
- 1994
|
