Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML (1996)

Cached

Download Links

by David Tarditi
Citations:49 - 2 self

Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
29 Memory Subsystem Performance of Programs with Intensive Heap Allocation – Amer Diwan, David Tarditi, Eliot Moss - 1994
37 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
1 Generational copying garbage collection for Standard ML: a quantitative study – Darko Stefanovic - 1993
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1311 Monads for functional programming – Philip Wadler - 1995
731 Notions of Computation and Monads – Eugenio Moggi - 1991
896 The Design and Implementation of a Log-Structured File System – Mendel Rosenblum, John K. Ousterhout - 1992