|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
163
|
Unboxed Objects and Polymorphic Typing
– Xavier Leroy
- 1992
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
339
|
Towards a theory of type structure
– J C Reynolds
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
135
|
Separate Compilation for Standard ML
– Andrew W. Appel, David B. Macqueen
- 1994
|
|
221
|
Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur. Thèse de Doctorat d’ État, Université de Paris VII
– Jean-Yves Girard
- 1972
|
|
29
|
Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction
– Shail Aditya, Christine H. Flood, James E. Hicks
- 1994
|
|
61
|
Runtime Tags Aren't Necessary
– Andrew W. Appel, Andrew W
- 1988
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
45
|
An Ad-Hoc Approach to the Implementation of Polymorphism
– R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown
- 1991
|
|
89
|
Abstract Models of Memory Management
– Greg Morrisett, Matthias Felleisen, Robert Harper
- 1995
|
|
235
|
The Essence of Compiling with Continuations
– Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
- 1993
|
|
146
|
Typed closure conversion
– Yasuhiko Minamide, Greg Morrisett, Robert Harper
- 1996
|
|
16
|
Heap storage management for the programming language Pascal
– D E Britton
- 1975
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
