|
192
|
Standard ML of New Jersey
– Andrew W. Appel, David B. Macqueen
- 1991
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
47
|
Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML
– David Tarditi
- 1996
|
|
5
|
A Portable Multiprocessor Interface for Standard ML of New Jersey
– J. Gregory Morrisett, Andrew Tolmach
- 1992
|
|
|
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
|
|
89
|
A Critique of Standard ML
– Andrew W. Appel
- 1992
|
|
|
A Portable Multiprocessor Interface
– Andrew Tolmach
|
|
10
|
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey
– J. Gregory Morrisett, Andrew Tolmach
- 2000
|
|
31
|
Concurrent ML: Design, Application and Semantics
– John H. Reppy
- 1993
|
|
29
|
An Empirical and Analytic Study of Stack vs. Heap Cost for Languages with Closures
– Andrew W. Appel, Zhong Shao
- 1993
|
|
65
|
Explicit Polymorphism and CPS Conversion
– Robert Harper , Mark Lillibridge
- 1992
|
|
135
|
Separate Compilation for Standard ML
– Andrew W. Appel, David B. Macqueen
- 1994
|
|
62
|
A Runtime System
– Andrew W. Appel
- 1990
|
|
22
|
Callee-save Registers in Continuation-passing Style
– Andrew W. Appel, Zhong Shao
- 1992
|
|
1
|
Operational Interpretations of an Extension of F-omega with Control Operators
– Robert Harper, Mark Lillibridge
- 1995
|
|
|
Using Program Structure to Guide Optimization in the Presence of First-Class Functions.
– David Tarditi
- 1994
|
|
1
|
Efficient and safe-for-space closure conversion
– Zhong Shao, Andrew W. Appel
|
