Unrolling Lists (1994)

Cached

Download Links

by Zhong Shao , John H. Reppy , Andrew W. Appel , John H
Citations:27 - 1 self

Documents Related by Co-Citation

171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
93 The ZINC experiment, an economical implementation of the ML language – Xavier Leroy - 1990
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
107 Unboxed values as first class citizens in a non-strict functional language – Simon L Peyton Jones, John Launchbury - 1991
124 M.: The categorical abstract machine – G Cousineau, P L Curien, Mauny - 1987
300 Natural semantics – G. Kahn - 1987
8 Using Hindley-Milner type inference to optimize list representation – C Hall - 1994
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
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
625 Compiling With Continuations – A W Appel - 1992
95 Type-Based Alias Analysis – Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss, Kinley J. Eliot, B. Moss - 1998
26 An Evaluation of Automatic Object Inline Allocation Techniques – Julian Dolby, Andrew A. Chien - 1998
57 A compilation method for ML-style polymorphic record calculi – Atsushi Ohori - 1992
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
72 A Polymorphic Record Calculus and Its Compilation – Atsushi Ohori - 1995
21 A simple semantics for ml polymorphism – A Ohori - 1989