David Walker, Karl Crary, Greg Morrisett  Home/Search
Context Related
| cmu.edu/~dpw/paper...ilitiestoplas.pdf 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: Machine We have described the type constructor language of CL and the typing rules for the main term-level constructs. In fact, the previous section contains all of the ACM Transactions on Programming Languages and Systems, Vol. TBD, No. TDB, Month Year. 20 D. Walker, K. Crary, and G. Morrisett #; #;# # h at r : # # # # f : Type #; ## # ; #{f :# f , x 1 :# 1 , . . . , xn :# n}; C # e # # f = #[# # ].(C, # 1 , . . . , #n ) # 0 at r f, x 1 , . . . , xn ## Dom(#) # #; #;# ... (Update)
Cited by: More
Mutatis Mutandis: - Safe And Predictable (Correct)
From Sequential Programs to Multi-Tier Applications by.. - Neubauer, Thiemann (2005) (Correct)
More Dynamic Object Re-classification: Fickle_II - Drossopoulou, Damiani.. (2002) (Correct)
Similar documents (at the sentence level):
56.5%: Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (Correct)
8.8%: Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999) (Correct)
Active bibliography (related documents): More All
0.5: Contrôle Des Ressources Dans Les Cartes à.. - Galland, al. (2002) (Correct)
0.1: Sound and Complete Elimination of Singleton Kinds - Crary (2005) (Correct)
0.1: BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (Correct)
Similar documents based on text: More All
0.3: From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (Correct)
0.3: Stack-Based Typed Assembly Language - Morrisett, Crary, Glew, Walker (2001) (Correct)
Related documents from co-citation: More All
12: Enforcing high-level protocols in low-level software - ahndrich, DeLine - 2001
10: From region inference to von Neumann machines via region representation inferenc.. - Birkedal, Tofte et al. - 1996
10: Region-based memory management - Tofte, Talpin - 1997
BibTeX entry: (Update)
David Walker, Karl Crary, and Greg Morrisett. Typed memory management via static capabilities. ACM Trans. on Programming Languages and Systems, 22(4):701--771, July 2000. http://citeseer.ist.psu.edu/article/walker00typed.html More
@article{ walker00typed,
author = "David Walker and Karl Crary and Greg Morrisett",
title = "Typed memory management via static capabilities",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "22",
number = "4",
pages = "701--771",
year = "2000",
url = "citeseer.ist.psu.edu/article/walker00typed.html" }
Citations (may not include all citations):6 and Morrisett (context) - Crary, Walker
2 and Yellin (context) - --
1 Typed Memory Management via Static Capabilities (context) - ACM, Programming et al.
1 and Turner (context) - Birkedal, Rothwell et al.
1 and Pfenning (context) - Danvy, Dzafic
1 and Levien (context) - Aiken, ahndrich
1 Morrisett Milner (context) - Walker, Crary
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 - Walker, Watkins (Correct)
On Regions and Linear Types (Extended Abstract) - Walker, Watkins (2001) (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