David N. Turner, Philip Wadler  Home/Search
Context Related
Links: ACM DBLP | avayalabs.com/user/wad...linearop.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: avayalabs.com/user/wadle...recent (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Two different operational interpretations of intuitionistic linear logic have been proposed in the literature. The simplest interpretation recomputes non-linear values every time they are required. It has good memory-management properties, but is often dismissed as being too inefficient. Alternatively, one can memoize the results of evaluating non-linear values. This avoids any recomputation, but has weaker memory-management properties. Using a novel combination of type-theoretic and... (Update)
Cited by: More
Applied Type System with Stateful Views - Hongwei Xi Dengping (Correct)
Unknown - Expansion Variables For (Correct)
System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
Active bibliography (related documents): More All
1.8: Operational Interpretations of Linear Logic - Turner, Wadler (1998) (Correct)
0.3: A Linearly Typed Assembly Language - Cheney, Morrisett (Correct)
0.3: Formal Verification of a Merge-Sort Program with Static.. - Paul Black National (Correct)
Similar documents based on text: More All
0.3: Call-by-Name, Call-by-Value, Call-by-Need, and the.. - Maraist, Odersky.. (1998) (Correct)
0.2: Linearity and the Pi-Calculus - Kobayashi, Pierce, Turner (1998) (Correct)
0.2: Large Scale Simulations of Single and.. - Martys, Hagedorn.. (1999) (Correct)
Related documents from co-citation: More All
13: Quasi-Linear Types - Kobayashi - 1999
12: Linear types can change the world - Wadler - 1990
10: Principality and type inference for intersection types using expansion variables - Kfoury, Wells - 2003
BibTeX entry: (Update)
D.N. Turner and P. Wadler (1998). Operational Interpretations of Linear Logic. Theoretical Computer Science, to appear. http://citeseer.ist.psu.edu/turner98operational.html More
@article{ turner99operational,
author = "David N. Turner and Philip Wadler",
title = "Operational interpretations of linear logic",
journal = "Theoretical Computer Science",
volume = "227",
number = "1--2",
pages = "231--248",
year = "1999",
url = "citeseer.ist.psu.edu/turner98operational.html" }
Citations (may not include all citations):233 Computational interpretations of linear logic - Abramsky - 1992
215 Theoretical Computer Science (context) - Lafont, abstract - 1988 ACM
184 Linear types can change the world - Wadler - 1990
114 A natural semantics for lazy evaluation - Launchbury - 1993
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995 ACM DBLP
69 Compiling Lazy Functional Languages (context) - Johnsson - 1987
61 Conventional and uniqueness typing in graph rewrite systems - Barendsen, Smetsers - 1993 ACM DBLP
58 A mixed linear and non-linear logic: Proofs (context) - Benton - 1995
51 Operational aspects of linear lambda calculus - Lincoln, Mitchell - 1992
43 A taste of linear logic - Wadler - 1993
35 Reference counting as a computational interpretation of line.. - Chirimar, Gunter et al. - 1995 DBLP
20 Linearity and laziness - Wakeling, Runciman - 1991 ACM DBLP
20 Type theory and recursion (context) - Plotkin - 1993
18 and the linear lambdacalculus (context) - Maraist, Odersky et al. - 1995
17 Proving memory management invariants for a language based on.. - Chirimar, Gunter et al. - 1992 ACM DBLP
10 on and Philip Wadler. Linear logic, monads, and the lambda c.. (context) - Bent - 1996
7 The ins and outs of clean i/o - Achten, Plasmeijer - 1995 DBLP
5 Look Ma, no garbage (context) - Baker, Lisp-- - 1992
3 linear logic (context) - Baker - 1994 ACM DBLP
2 Compiling Lazy Functional Languagess (context) - Augustsson - 1987
2 A term calculus for intuitionstic linear logic (context) - Benton, Bierman et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.avayalabs.com/user/wadler/topics/recent.html): More
A Practical Subtyping System For Erlang - Marlow (1997) (Correct)
The Marriage of Effects and Monads - Wadler, Thiemann (1998) (Correct)
A Statically Safe Alternative to Virtual Types - Bruce, Odersky, Wadler (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC