A Standard ML Compiler (1987)

Cached

Download Links

by Andrew W. Appel , David B. Macqueen
Venue:Functional Programming Languages and Computer Architecture
Citations:92 - 14 self

Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
64 A Runtime System – Andrew W. Appel - 1990
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
93 A Critique of Standard ML – Andrew W. Appel - 1992
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
64 Runtime Tags Aren't Necessary – Andrew W. Appel, Andrew W - 1988
22 Callee-save Registers in Continuation-passing Style – Andrew W. Appel, Zhong Shao - 1992
96 Real-time Concurrent Collection on Stock Multiprocessors – Andrew W. Appel, John R. Ellis, Kai Li - 1988
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
102 Compiling with Types – Greg Morrisett - 1995
32 PROPERTIES OF AGE-BASED AUTOMATIC MEMORY RECLAMATION ALGORITHMS – Darko Stefanovic - 1999
Simple Generational Garbage Collection and Fast Allocation – unknown authors - 1988
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson