Parametricity and Unboxing with Unpointed Types (1996)

Cached

Download Links

by John Launchbury , Ross Paterson
Citations:22 - 2 self

Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
65 Flexible representation analysis – Zhong Shao - 1997
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
11 Programming With Types – Stephanie Claudene Weirich - 2002
2 Arity Raising in Manticore – Lars Bergstrom
2 An Unboxed Operational Semantics for ML Polymorphism – Atsushi Ohori, Tomonobu Takamizawa - 1997
102 Compiling with Types – Greg Morrisett - 1995
35 Dictionary-free Overloading by Partial Evaluation – Mark P. Jones
5 Compiling with Polymorphic and Polyvariant Flow Types – Franklyn Turbak, Allyn Dimock, Robert Muller, J. B. Wells - 1997
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
25 Typed Common Intermediate Format – Zhong Shao - 1997
27 Unrolling lists – Zhong Shao - 1994
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
4 Polymorphic Equality - No Tags Required – Martin Elsman - 1989
12 Unboxed Values and Polymorphic Typing Revisited – Peter J. Thiemann - 1995
4 Proving the Correctness of Compiler Optimisations Based on Strictness Analysis – Geoffrey Burn, Daniel Le Métayer - 1993
Interpretational Overhead in system software – Boris Feigin - 2011
17 Partial Evaluation for Dictionary-free Overloading – Mark P. Jones - 1993
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998