Reference Counting as a Computational Interpretation of Linear Logic (1996)

Cached

Download Links

by Jawahar Chirimar , Carl A. Gunter , Jon G. Riecke
Venue:Journal of Functional Programming
Citations:34 - 0 self

Documents Related by Co-Citation

92 The linear abstract machine – Yves Lafont - 1988
29 Operational Interpretations of Linear Logic – David N. Turner, Philip Wadler - 1998
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
127 types can change the world – Linear - 1990
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
137 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
92 Lively Linear Lisp - 'Look Ma, No Garbage!' – Henry G. Baker - 1992
616 Light Linear Logic – Jean-yves Girard
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
84 A Type System for Bounded Space and Functional in-Place Update – Martin Hofmann - 2000
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
10 Garbage Collection Based on a Linear Type System – Atsushi Igarashi, Naoki Kobayashi - 2000
36 On Regions and Linear Types – David Walker, Kevin Watkins
59 Quasi-Linear Types – Naoki Kobayashi - 1999
7 A "Linear Logic" Quicksort – Henry G. Baker - 1994
134 Linear Types Can Change the World! – Philip Wadler - 1990
23 Proving Memory Management Invariants for a Language Based on Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1992
155 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002