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:35 - 0 self

Documents Related by Co-Citation

91 The linear abstract machine – Yves Lafont - 1988
27 Operational Interpretations of Linear Logic – David N. Turner, Philip Wadler - 1998
282 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
128 types can change the world – Linear - 1990
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
136 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
92 Lively Linear Lisp - 'Look Ma, No Garbage!' – Henry G. Baker - 1992
619 Light Linear Logic – Jean-yves Girard
170 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
85 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
23 Proving Memory Management Invariants for a Language Based on Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1992
135 Linear Types Can Change the World! – Philip Wadler - 1990
157 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002