Active Bibliography

10 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
26 Experience with safe manual memory-management in cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2004
6 Safe Manual Memory Management in Cyclone – Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
5 Implementation and Performance Evaluation of a Safe Runtime System in Cyclone – Matthew Fluet, Daniel Wang - 2004
1 Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Frederic R. Morgenthaler - 1995
29 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
65 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
163 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
1 Statically tracking state with Typed Regions – Stefan Monnier, Université De Montréal
14 Run time type information in Mercury – Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery - 1999
2 Bounded-Space Tagless Garbage Collection for First Order Polymorphic Languages – Mike McGaughey - 1995
1 A Debugger for Id – Alejandro Caro, Campbell L. Searle - 1993
8 Garbage Collection Based on a Linear Type System – Atsushi Igarashi, Naoki Kobayashi - 2000
18 Compiler-directed Type Reconstruction for Polymorphic Languages – Shail Aditya - 1993
40 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
17 Collecting More Garbage – Pascal Fradet - 1994
219 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
97 Compiling with Types – Greg Morrisett - 1995