Active Bibliography

14 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
7 Safe Manual Memory Management in Cyclone – Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
30 Experience with safe manual memory-management in cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2004
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
1 Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Frederic R. Morgenthaler - 1995
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
5 Implementation and Performance Evaluation of a Safe Runtime System in Cyclone – Matthew Fluet, Daniel Wang - 2004
170 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
10 Typed Regions – Stefan Monnier - 2004
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
17 Collecting More Garbage – Pascal Fradet - 1994
19 Compiler-directed Type Reconstruction for Polymorphic Languages – Shail Aditya - 1993
2 A Debugger for Id – Alejandro Caro, Campbell L. Searle - 1993
102 Compiling with Types – Greg Morrisett - 1995
10 Garbage Collection Based on a Linear Type System – Atsushi Igarashi, Naoki Kobayashi - 2000
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995