Space-Efficient Closure Representations (1994)

by Zhong Shao , Andrew W. Appel
Citations:67 - 12 self

Documents Related by Co-Citation

625 Compiling With Continuations – A W Appel - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
114 Set-based analysis of ML programs – Nevin Heintze - 1994
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
363 Towards a theory of type structure – J C Reynolds - 1974
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
333 The mechanical evaluation of expressions – P J Landin - 1964
21 An equational framework for the flow analysis of higher order functional programs – D Strfanescu, Y Zhou - 1994
49 Effective Flow Analysis for Avoiding Run-Time Checks – Suresh Jagannathan, Andrew Wright - 1995