Typed closure conversion (1996)

by Yasuhiko Minamide , Greg Morrisett , Robert Harper
Venue:In Proceedings of the 23th Symposium on Principles of Programming Languages (POPL
Citations:154 - 22 self

Active Bibliography

102 Compiling with Types – Greg Morrisett - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
Type Theory for Programming Languages – Robert Harper - 1994
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
65 Flexible representation analysis – Zhong Shao - 1997
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
34 Typed Cross-Module Compilation – Zhong Shao - 1998
12 Object Closure Conversion – Neal Glew - 1999
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994