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

View PDF

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

94 The linear abstract machine – Y Lafont - 1988
290 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
137 types can change the world – Linear - 1990
27 Operational Interpretations of Linear Logic – David N. Turner, Philip Wadler - 1998
669 Light Linear Logic – Jean-yves Girard
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
208 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
141 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002