Region Analysis and the Polymorphic Lambda Calculus (1999)

by Anindya Banerjee , Nevin Heintze , Jon G. Riecke
Venue:In Proc. of the 14th Annual IEEE Symposium on Logic in Computer Science
Citations:28 - 0 self

Active Bibliography

1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
54 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
44 Combining Region Inference and Garbage Collection – Niels Hallenberg, Martin Elsman, Mads Tofte - 2002
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
22 Stratified Operational Semantics for Safety and Correctness of The Region Calculus – Cristiano Calcagno - 2001
region-based – Fritz Henglein, Henning Makholm, Henning Niss
32 A Direct Approach to Control-Flow Sensitive Region-Based Memory Management – Fritz Henglein, Henning Makholm, Henning Niss - 2001
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
1 Semantic Orthogonality of Type Disciplines – Jon G. Riecke, Ramesh Subrahmanyam - 1997
122 Memory Management with Explicit Regions – David Gay, Alex Aiken - 1998
15 Syntactic Type Soundness Results for the Region Calculus – Cristiano Calcagno, Simon Helsen, Peter Thiemann - 2001
4 Polymorphic Specialization for ML – Simon Helsen, Peter Thiemann - 2002
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
13 A Relational Account of Call-by-Value Sequentiality – Anders B. Sandholm, Jon G. Riecke - 1999
Region-Based Memory Management for a Dynamically-Typed Language – Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa