Is there a use for linear logic? (1991)

by Philip Wadler
Citations:91 - 8 self

Active Bibliography

March 1991 – Ar Ch, Philip Wadler - 1991
135 Linear Types Can Change the World! – Philip Wadler - 1990
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
97 How to Declare an Imperative – Philip Wadler - 1995
35 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
23 Observers for Linear Types – Martin Odersky - 1992
24 There's No Substitute for Linear Logic – Philip Wadler - 1991
72 A syntax for linear logic – Philip Wadler - 1993
Arrays in Imperative Lambda Calculus (Extended abstract) – Sam Kamin, Uday S. Reddy - 1992
13 Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- – Chih-ping Chen, Paul Hudak - 1997
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
9 Syntactic Detection of Single-Threading using Continuations – Pascal Fradet - 1991
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
29 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
14 How to Make Destructive Updates Less Destructive – Martin Odersky - 1991
2 Acceptors as values: Functional programming in classical linear logic – Uday S. Reddy - 1991
A Data Structure for More Efficient . . . – Melissa Elizabeth O’Neill - 1994