M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value #-calculus using a stack of regions. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 188--201, Portland, Oregon, Jan. 1994. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Checking and Inferring Local Non-Aliasing - Aiken, Foster, Kodumal, Terauchi (2003) (5 citations) (Correct)
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (24 citations) (Correct)
Functorial Lambda-Calculus - Jay School Of (Correct)
A Modular, Polyvariant, and Type-Based Closure Analysis - Banerjee (1997) (Correct)
Contaminated Garbage Collection - Dante Cannarozzi Michael (2000) (6 citations) (Correct)
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) (Correct)
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) (Correct)
Alias Types for Recursive Data Structures - Extended Version David (Correct)
Checking and Inferring Local Non-Aliasing - Alex Aiken Aiken (2003) (5 citations) (Correct)
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
Typestates for Objects - Deline, Fahndrich (2004) (10 citations) (Correct)
Connecting Effects and Uniqueness with Adoption - Boyland (Correct)
A Modular, Polyvariant, and Type-Based Closure Analysis - Banerjee (1997) (Correct)
A region-based memory manager for Prolog - Henning Makholm Diku (2000) (1 citation) (Correct)
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
A Modal Language for Effects - Park, Harper (2004) (Correct)
Optimising the Memory Management of Higher-Order Functional.. - Mohnen (1997) (2 citations) (Correct)
Experiments on the Effectiveness of an Automatic Insertion of.. - Lee, Yi (2004) (Correct)
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2002) (9 citations) (Correct)
Typed Regions - Monnier (2004) (Correct)
Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (2 citations) (Correct)
Flow-Sensitive Type Qualifiers - Foster, Terauchi, Aiken (2002) (43 citations) (Correct)
Inserting Safe Memory Reuse Commands into ML-like Programs - Lee, Yang, Yi (2003) (1 citation) (Correct)
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2002) (9 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC