|
1
|
Generational copying garbage collection for Standard ML: a quantitative study
– Darko Stefanovic
- 1993
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
28
|
Memory Subsystem Performance of Programs with Intensive Heap Allocation
– Amer Diwan, David Tarditi, Eliot Moss
- 1994
|
|
|
Using Program Structure to Guide Optimization in the Presence of First-Class Functions.
– David Tarditi
- 1994
|
|
7
|
Measuring the Cost of Storage Management
– David Tarditi, Amer Diwan
- 1994
|
|
|
Abstract Memory Subsystem Performance of Programs Using Copying Garbage Collection
– unknown authors
|
|
36
|
Memory Subsystem Performance of Programs Using Copying Garbage Collection
– Amer Diwan , David Tarditi, Eliot Moss
- 1994
|
|
19
|
Memory System Performance of Programs with Intensive Heap Allocation
– Amer Diwan, David Tarditi, Eliot Moss
- 1995
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
59
|
From ML to Ada: Strongly-typed Language Interoperability via Source Translation
– Andrew Tolmach, Dino P. Oliva
- 1993
|
|
33
|
Typed Cross-Module Compilation
– Zhong Shao
- 1998
|
|
|
Type- and Flow-Directed Compilation for Specialized Data Representations
– Allyn Dimock
- 2002
|
|
2
|
An overview of Types in Compilation
– Xavier Leroy
- 1998
|
|
13
|
Memory-System Performance of Programs with Intensive Heap Allocation
– Amer Diwan, David Tarditi, Eliot Moss
- 1995
|
|
27
|
Storage Use Analysis and its Applications
– Manuel Serrano, Marc Feeley
- 1996
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
135
|
Separate Compilation for Standard ML
– Andrew W. Appel, David B. Macqueen
- 1994
|
|
65
|
Space-Efficient Closure Representations
– Zhong Shao, Andrew W. Appel
- 1994
|
|
8
|
Compilation based on a calculus for explicit type passing
– Yasuhiko Minamide
- 1996
|
