Unboxed Objects and Polymorphic Typing (1992)

by Xavier Leroy
Citations:171 - 5 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
625 Compiling With Continuations – A W Appel - 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
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
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
102 Compiling with Types – Greg Morrisett - 1995
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
227 Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types – Jean-Yves Girard - 1970
34 The ML Kit - Version 1 – Lars Birkedal, Nick Rothwell - 1993
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
38 Formally optimal boxing – Fritz Henglein, Jesper J0rgensen - 1994
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
93 A Critique of Standard ML – Andrew W. Appel - 1992
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
939 A theory of type polymorphism in programming – Robin Milner - 1978