David Walker, Kevin Watkins  Home/Search
Context Related
| cmu.edu/~dpw/papers/space.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~dpw/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We explore how two different mechanisms for reasoning about state, linear typing and the type, region and effect discipline, complement one another in the design of a strongly typed functional programming language. The basis for our language is a simple lambda calculus containing first-class regions, which are explicitly passed as arguments to functions, returned as results and stored in user-defined data structures. In order to ensure appropriate memory safety properties, we draw upon the... (Update)
Cited by: More
Linear Regions Are All You Need - Fluet, Morrisett, Ahmed (Correct)
Region Inference for an Object-Oriented Language - Chin, Craciun, Qin, Rinard (2004) (Correct)
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (Correct)
Similar documents (at the sentence level):
30.4%: On Regions and Linear Types (Extended Abstract) - Walker, Watkins (2001) (Correct)
Active bibliography (related documents): More All
0.3: Syntactic Type Soundness Results for the Region Calculus - Calcagno, Helsen, Thiemann (2001) (Correct)
0.2: An Operational Theory for a Region Calculus - Helsen (2001) (Correct)
0.2: Checking Programmer-Specified Non-Aliasing - Foster, Aiken (2001) (Correct)
Similar documents based on text: More All
0.2: Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (Correct)
0.2: Linear Type Systems for Communication - Murphy (2001) (Correct)
0.1: Harmless Advice - Dantas, Walker (2005) (Correct)
Related documents from co-citation: More All
15: Region-based memory management - Tofte, Talpin - 1997
12: Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
10: Enforcing high-level protocols in low-level software - ahndrich, DeLine - 2001
BibTeX entry: (Update)
David Walker and Kevin Watkins. On regions and linear types. In Xavier Leroy, editor, Proc. International Conference on Functional Programming http://citeseer.ist.psu.edu/428346.html More
@inproceedings{ walker01regions,
author = "David Walker and Kevin Watkins",
title = "On Regions and Linear Types",
booktitle = "International Conference on Functional Programming",
pages = "181--192",
year = "2001",
url = "citeseer.ist.psu.edu/428346.html" }
Citations (may not include all citations):369 Information and Computation (context) - Moggi, computation - 1991
233 Computational interpretations of linear logic - Abramsky - 1993
215 Theoretical Computer Science (context) - Girard - 1987
215 Theoretical Computer Science (context) - Lafont, abstract - 1988
188 Region-based memory management - Tofte, Talpin - 1997
184 Linear types can change the world - Wadler - 1990
138 Typed closure conversion - Minamide, Morrisett et al. - 1996
132 Syntactic control of interference (context) - Reynolds - 1978
117 Typed memory management in a calculus of capabilities - Walker, Crary et al. - 2000
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
110 BI as an assertion language for mutable data structures - Ishtiaq, O'Hearn - 2001
90 A linear logical framework - Cervesato, Pfenning - 2000
88 Intuitionistic reasoning about shared mutable data structure - Reynolds - 2000
83 From region inference to von Neumann machines via region rep.. - Birkedal, Tofte et al. - 1996
82 Alias types for recursive data structures - Walker, Morrisett - 2000
81 Once upon a type - Turner, Wadler et al. - 1995
58 Memory management with explicit regions - Gay, Aiken - 1998
54 Programming with regions in the ML Kit - Tofte, Birkedal et al. - 1998
53 Quasi-linear types - Kobayashi - 1999
51 and Greg Morrisett (context) - Smith, Walker - 2000
51 Operational aspects of linear lambda calculus - Lincoln, Mitchell - 1992
45 Language support for regions - Gay, Aiken - 2001
42 A type system for bounded space and functional in-place upda.. - Hofmann - 2000
35 Reference counting as a computational interpretation of line.. - Chirimar, Gunter et al. - 1996
33 Journal of Functional Programming (context) - Talpin, Jouvelot et al. - 1992
25 Type-preserving garbage collectors - Wang, Appel - 2001
25 Once upon a polymorphic type - Wansbrough, Jones - 1999
25 Operational interpretations of linear logic - Turner, Wadler - 1999
24 Integrating functional and imperative programming (context) - Gi, Lucassen - 1986
23 Properties of terms in continuation-passing style in an orde.. - Polakow, Pfenning - 2000
17 Proving memory management invariants for a language based on.. - Chirimar, Gunter et al. - 1992
16 ects and monads (context) - Wadler, of - 1998
15 Simon Peyton Jones and John Hughes (context) - Jones, ed et al. - 1999
14 Syntactic type soundness for the region calculus - Helsen, Thiemann - 2000
11 Unpublished manuscript (context) - O'Hearn, typing - 2000
9 Algebraic reconstruction of types and e ects (context) - Jouvelot, Gi - 1991
7 Higher-order concurrent programs with nite communication top.. (context) - Nielson, Nielson - 1994
6 Rolling your own mutable adt { a connection between linear t.. (context) - Chen, Hudak - 1997
5 Stratied operational semantics for safety and correctness of.. (context) - Calcagno - 2001
2 Logic programming with an ordered context (context) - Polakow - 2000
1 Towards a more exible region type system (context) - Makholm, Niss et al. - 2001
1 Presented at the Carnegie Mellon University principles of pr.. (context) - Deline, ahndrich et al. - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~dpw/papers.html): More
On Regions and Linear Types (Extended Abstract) - Walker, Watkins (2001) (Correct)
Typed Memory Management via Static Capabilities - Walker, Crary, Morrisett (2000) (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (Correct)
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