Abstract Models of Memory Management (1995)

by Greg Morrisett , Matthias Felleisen , Robert Harper
Citations:90 - 16 self

Documents Related by Co-Citation

260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
625 Compiling With Continuations – A W Appel - 1992
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
1097 Proof-Carrying Code – George C. Necula - 1997
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
102 Compiling with Types – Greg Morrisett - 1995
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
94 The De nition of Standard ML – Robin Milner, Mads Tofte, David Macqueen - 1997
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
91 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup, Nkt Elektronik - 1996