|
10
|
A Retrospective on Region-Based Memory Management
– Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
- 2004
|
|
4
|
Polymorphic Specialization for ML
– Simon Helsen, Peter Thiemann
- 2002
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
9
|
A Constraint-Based Region Inference Algorithm
– Lars Birkedal, Mads Tofte
- 1999
|
|
40
|
Combining Region Inference and Garbage Collection
– Niels Hallenberg, Martin Elsman, Mads Tofte
- 2002
|
|
1
|
Global Regions
– Holds Values Of, Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld, Olesen Peter Sestoft
- 2001
|
|
163
|
Region-Based Memory Management in Cyclone
– Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney
- 2002
|
|
10
|
Unification and Polymorphism in Region Inference
– Mads Tofte, Lars Birkedal
- 1996
|
|
31
|
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management
– Fritz Henglein, Henning Makholm, Henning Niss
- 2001
|
|
1
|
An Equational Theory for a Region Calculus
– Simon Helsen
- 2002
|
|
2
|
Bisimilarity for the region calculus
– Simon Helsen
|
|
28
|
Region Analysis and the Polymorphic Lambda Calculus
– Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
1
|
Dynamic State Restoration Using Versioning Exceptions
– V. Krishna Nandivada, Suresh Jagannathan
|
|
75
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
|
High-Assurance Common Language Runtime
– Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
|
|
2
|
Monadic and Substructural Type Systems for Region-Based Memory Management
– Matthew Thomas Fluet
- 2007
|
|
5
|
Implementation and Performance Evaluation of a Safe Runtime System in Cyclone
– Matthew Fluet, Daniel Wang
- 2004
|
|
15
|
Syntactic Type Soundness Results for the Region Calculus
– Cristiano Calcagno, Simon Helsen, Peter Thiemann
- 2001
|
|
18
|
Syntactic Type Soundness for the Region Calculus
– Simon Helsen, Peter Thiemann
- 2000
|
