|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
1
|
Efficient and safe-for-space closure conversion
– Zhong Shao, Andrew W. Appel
|
|
22
|
Callee-save Registers in Continuation-passing Style
– Andrew W. Appel, Zhong Shao
- 1992
|
|
29
|
An Empirical and Analytic Study of Stack vs. Heap Cost for Languages with Closures
– Andrew W. Appel, Zhong Shao
- 1993
|
|
47
|
Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML
– David Tarditi
- 1996
|
|
59
|
From ML to Ada: Strongly-typed Language Interoperability via Source Translation
– Andrew Tolmach, Dino P. Oliva
- 1993
|
|
1
|
Generational copying garbage collection for Standard ML: a quantitative study
– Darko Stefanovic
- 1993
|
|
135
|
Separate Compilation for Standard ML
– Andrew W. Appel, David B. Macqueen
- 1994
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
|
Abstract Memory Subsystem Performance of Programs Using Copying Garbage Collection
– unknown authors
|
|
28
|
Memory Subsystem Performance of Programs with Intensive Heap Allocation
– Amer Diwan, David Tarditi, Eliot Moss
- 1994
|
|
36
|
Memory Subsystem Performance of Programs Using Copying Garbage Collection
– Amer Diwan , David Tarditi, Eliot Moss
- 1994
|
|
146
|
Typed closure conversion
– Yasuhiko Minamide, Greg Morrisett, Robert Harper
- 1996
|
|
62
|
A Runtime System
– Andrew W. Appel
- 1990
|
|
10
|
A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction
– Rémi Douence , Pascal Fradet
- 1996
|
|
136
|
A Linearly Typed Assembly Language
– James Cheney, Greg Morrisett
|
|
|
Selective and Lightweight Closure Conversion
– Paul A. Steckler, MITCHELL WAND
- 1996
|
|
72
|
Lightweight Closure Conversion
– Paul A. Steckler, Mitchell Wand
- 1996
|
