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 Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Checking and Inferring Local Non-Aliasing - Aiken, Foster, Kodumal, Terauchi (2003) (5 citations) (Correct)
....8. RELATED WORK Effect systems were first described by Gifford and Lucassen for FX 87 [16, 22] FX 87 includes subtyping, polymorphism, and notation for declaring the effects of expressions [16] One of the best known type and effect systems is the region type system proposed by Tofte and Talpin [27]. Our type systems, and particularly the system for automatically inferring where to place restrict and confine annotations, is related to region inference. The # annotations can be thought of as regions, and we can apply the rule (Down) which is borrowed from a region type system [4] whenever ....
M. Tofte and J.-P. Talpin. Implementation of the Typed Call-by-Value #-Calculus using a Stack of Regions. In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 188--201, Portland, Oregon, Jan. 1994.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
No context found.
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.
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (24 citations) (Correct)
No context found.
Tofte, M. and Talpin, J.-P. 1994. Implementation of the typed call-by-value -calculus using a stack of regions. In Twenty-First ACM Symposium on Principles of Programming Languages. ACM Press, Portland, Oregon, 188-201.
Functorial Lambda-Calculus - Jay School Of (Correct)
No context found.
M. Tofte and J.-P. Talpin. Implementation of the typed callby -value -calculus using a stack of regions. In Conf. Record of POPL '94: 21st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 188--201, January 1994.
A Modular, Polyvariant, and Type-Based Closure Analysis - Banerjee (1997) (Correct)
No context found.
Mads Tofte and Jean-Pierre Talpin. Implementation of the Typed Call-by-value -calculus using a Stack of Regions. In Proceedings of the Twenty rst Annual ACM Symposium on Principles of Programming Languages, Portland, Oregon, January 1994.
Contaminated Garbage Collection - Dante Cannarozzi Michael (2000) (6 citations) (Correct)
No context found.
Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value -calculus using a stack of regions. In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 188--201, Portland, Oregon,January 1994.
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) (Correct)
No context found.
Mads Tofte and Jean-Pierre 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, January 1994.
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) (Correct)
No context found.
Mads Tofte and Jean-Pierre 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, January 1994.
Alias Types for Recursive Data Structures - Extended Version David (Correct)
No context found.
Mads Tofte and Jean-Pierre 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, January 1994.
Checking and Inferring Local Non-Aliasing - Alex Aiken Aiken (2003) (5 citations) (Correct)
No context found.
M. Tofte and J.-P. Talpin. Implementation of the Typed Call-by-Value #-Calculus using a Stack of Regions. In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 188--201, Portland, Oregon, Jan. 1994.
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
Mads Tofte and Jean-Pierre Talpin. Implementation of the Typed Call-by-Value #- Calculus using a Stack of Regions. In Proceedings of the 21st Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 188--201, Portland, Oregon, January 1994.
Typestates for Objects - Deline, Fahndrich (2004) (10 citations) (Correct)
No context found.
Tofte, M., Talpin, J.P.: Implementation of the typed call-by-value #-calculus using a stack of regions. In: Conference Record of the 21st Annual ACM SSymposium on Principles of Programming Languages. (1994) 188--201
Connecting Effects and Uniqueness with Adoption - Boyland (Correct)
No context found.
Tofte, M., Talpin, J.P.: Implementation of the typed call-by-value #-calculus using a stack of regions. In: Conference Record of the Twenty-first Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, New York, ACM Press (1994) 188--201
A Modular, Polyvariant, and Type-Based Closure Analysis - Banerjee (1997) (Correct)
No context found.
Mads Tofte and Jean-Pierre Talpin. Implementation of the Typed Call-by-value #-calculus using a Stack of Regions. In Proceedings of the Twentyfirst Annual ACM Symposium on Principles of Programming Languages, Portland, Oregon, January 1994.
A region-based memory manager for Prolog - Henning Makholm Diku (2000) (1 citation) (Correct)
No context found.
Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value -calculus using a stack of regions. In Principles of Programming Languages (21st ACM SIGPLAN-SIGACT Symposium, POPL '94, Portland, OR, USA), pages 188--201. ACM Press, New York, NY, USA, 1994, ISBN 0-89791-636-0. hftp:// ftp.diku.dk/diku/semantics/papers/D-235.dvi.gzi.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
No context found.
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.
A Modal Language for Effects - Park, Harper (2004) (Correct)
No context found.
M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value #-calculus using a stack of regions. In Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 188--201. ACM Press, 1994.
Optimising the Memory Management of Higher-Order Functional.. - Mohnen (1997) (2 citations) (Correct)
No context found.
M. Tofte and J.-P. Talpin. Implementation of the Typed Call-by-Value calculus using a Stack of Regions. In Proceedings of the 21th Symposium on Principles of Programming Languages (POPL), pages 188201. ACM, January 1994.
Experiments on the Effectiveness of an Automatic Insertion of.. - Lee, Yi (2004) (Correct)
No context found.
Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value #-calculus using a stack of regions. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 188--201, 1994.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2002) (9 citations) (Correct)
No context found.
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.
Typed Regions - Monnier (2004) (Correct)
No context found.
M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value #-calculus using a stack of regions. In Symposium on Principles of Programming Languages, pages 188--201, Jan. 1994.
Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (2 citations) (Correct)
No context found.
Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value #-calculus using a stack of regions. In Proc. 21st Annual ACM Symposium on Principles of Programming Languages, pages 188--201, Portland, OG, January 1994. ACM Press.
Flow-Sensitive Type Qualifiers - Foster, Terauchi, Aiken (2002) (43 citations) (Correct)
No context found.
M. Tofte and J.-P. Talpin. Implementation of the Typed Call-by-Value #-Calculus using a Stack of Regions. In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT pages 188--201, Portland, Oregon, Jan. 1994.
Inserting Safe Memory Reuse Commands into ML-like Programs - Lee, Yang, Yi (2003) (1 citation) (Correct)
No context found.
Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value #-calculus using a stack of regions. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 188--201, 1994.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2002) (9 citations) (Correct)
No context found.
Mads Tofte and Jean-Pierre 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, January 1994.
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