Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
102 Compiling with Types – Greg Morrisett - 1995
65 Flexible representation analysis – Zhong Shao - 1997
29 An Empirical and Analytic Study of Stack vs. Heap Cost for Languages with Closures – Andrew W. Appel, Zhong Shao - 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
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
61 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
34 Typed Cross-Module Compilation – Zhong Shao - 1998
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
25 Typed Common Intermediate Format – Zhong Shao - 1997
9 Hierarchical Modularity And Intermodule Optimization – Matthias Blume - 1997
93 A Critique of Standard ML – Andrew W. Appel - 1992
1 Generational copying garbage collection for Standard ML: a quantitative study – Darko Stefanovic - 1993
Type Theory for Programming Languages – Robert Harper - 1994