Unboxed Objects and Polymorphic Typing (1992)

by Xavier Leroy
Citations:171 - 5 self

Active Bibliography

154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
102 Compiling with Types – Greg Morrisett - 1995
93 A Critique of Standard ML – Andrew W. Appel - 1992
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
12 Unboxed Values and Polymorphic Typing Revisited – Peter J. Thiemann - 1995
18 Delivering the Benefits of Persistence to System Construction and Execution – Quintin I. Cutts - 1992
14 Efficient data representation in polymorphic languages – Xavier Leroy
2 An Unboxed Operational Semantics for ML Polymorphism – Atsushi Ohori, Tomonobu Takamizawa - 1997
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
56 Dynamics in ML – Xavier Leroy, Michel Mauny, Inria Rocquencourt - 1993
35 A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data – Lorenz Huelsbergen, James R. Larus - 1993
33 Concurrent ML: Design, Application and Semantics – John H. Reppy - 1993
65 Flexible representation analysis – Zhong Shao - 1997
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003