Abstract Models of Memory Management (1995)

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

Active Bibliography

102 Compiling with Types – Greg Morrisett - 1995
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
13 Optimal Type Lifting – Bratin Saha, Zhong Shao - 1998
1 Type system for specializing polymorphism – Atsushi Ohori - 1997
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
2 Garbage Collection via Dynamic Type Inference - A Formal Treatment – Haruo Hosoya, Akinori Yonezawa - 1998
2 Formal Description for Collecting Reachable Garbage via Dynamic Type Inference – Haruo Hosoya, Akinori Yonezawa - 1998
65 Flexible representation analysis – Zhong Shao - 1997
61 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
35 Type-Preserving Compilation of Featherweight Java – Christopher League, Valery Trifonov, Zhong Shao - 2001
34 Typed Cross-Module Compilation – Zhong Shao - 1998
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
5 Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML – Atsushi Ohori, Nobuaki Yoshida - 1998
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993