Linear Continuation-Passing (2002)

by Josh Berdine , Peter O'Hearn , Uday Reddy , Hayo Thielecke
Venue:in the 2001 ACM SIGPLAN Workshop on Continuations (CW'01
Citations:3 - 1 self

Documents Related by Co-Citation

4 A linear logic model of state – U S Reddy - 1993
17 Linear logic and interference control – P W O’Hearn - 1991
19 A Model for Syntactic Control of Interference – P. W. O'Hearn - 1993
26 Syntactic Control of Interference, Part 2 – John C Reynolds - 1989
11 Algebraic categories with few monoidal biclosed structures or none – F Foltz, C Lair, G M Kelly - 1980
35 Semantics of Local Variables – P.W. O'Hearn, R. D. Tennent - 1992
99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
6 29{April 1 – S Brookes, M Main, A Melton, M Mislove, editors
97 On closed categories of functors – B Day - 1970
101 Relevant Logic and Entailment – J M Dunn - 1986
16 Objects, Interference, and the Yoneda Embedding – Peter W. O'Hearn, Uday S. Reddy - 1995
92 The linear abstract machine – Yves Lafont - 1988
32 anywhere: Modal logics for mobile ambients – “Anytime - 2000
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
131 On the syntactic control of interference – J Reynolds - 1978
194 The Logic of Bunched Implications – Peter W. O'Hearn, David J. Pym - 1999
930 Categories for the Working Mathematician – S Mac Lane - 1971
55 From Algol to Polymorphic Linear Lambda-calculus – Peter W. O'Hearn, John C. Reynolds - 1997
107 Intuitionistic Reasoning about Shared Mutable Data Structure – John C. Reynolds - 2000