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

Active Bibliography

96 How to Declare an Imperative – Philip Wadler - 1995
14 Minimizing Reference Count Updating with Deferred and Anchored Pointers for Functional Data Structures – Henry G. Baker - 1994
March 1991 – Ar Ch, Philip Wadler - 1991
88 Is there a use for linear logic? – Philip Wadler - 1991
92 Lively Linear Lisp - 'Look Ma, No Garbage!' – Henry G. Baker - 1992
24 There's No Substitute for Linear Logic – Philip Wadler - 1991
22 Observers for Linear Types – Martin Odersky - 1992
5 The Boyer Benchmark Meets Linear Logic – Henry G. Baker - 1993
28 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
27 Operational Interpretations of Linear Logic – David N. Turner, Philip Wadler - 1998
32 Linear Logic, Monads and the Lambda Calculus – Nick Benton, Philip Wadler - 1996
23 Proving Memory Management Invariants for a Language Based on Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1992
455 Comprehending Monads – Philip Wadler - 1992
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
A Type-Free Resource-Aware λ-Calculus – Luca Roversi - 1996
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
46 Algorithmic Game Semantics – Samson Abramsky - 2001
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994