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

Documents Related by Co-Citation

280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
22 Stratified Operational Semantics for Safety and Correctness of The Region Calculus – Cristiano Calcagno - 2001
18 Syntactic Type Soundness for the Region Calculus – Simon Helsen, Peter Thiemann - 2000
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
89 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup - 1996
57 Implementation of the typed call-by-value λ-calculus using a stack of regions – Mads Tofte - 1994
15 Syntactic Type Soundness Results for the Region Calculus – Cristiano Calcagno, Simon Helsen, Peter Thiemann - 2001
85 Integrating functional and imperative programming – D K Gifford, J M Lucassen - 1986
89 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
11 Regional Analysis and a $\pi$-Calculus With Groups – Silvano Dal Zilio, Andrew D. Gordon - 2000
9 A Constraint-Based Region Inference Algorithm – Lars Birkedal, Mads Tofte - 1999
234 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
91 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990