|
31
|
Linear Logic, Monads and the Lambda Calculus
– Nick Benton, Philip Wadler
- 1996
|
|
53
|
A Brief Guide to Linear Logic
– Andre Scedrov
- 1993
|
|
75
|
A Taste of Linear Logic
– Philip Wadler
- 1993
|
|
2
|
Separating Weakening and Contraction in a Linear Lambda Calculus
– John Maraist
- 1996
|
|
41
|
Applications of Linear Logic to Computation: An Overview
– Vladimir Alexiev
- 1993
|
|
33
|
Once Upon a Polymorphic Type
– Keith Wansbrough, Simon Peyton Jones
- 1998
|
|
32
|
Reference Counting as a Computational Interpretation of Linear Logic
– Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
- 1996
|
|
21
|
Operational Interpretations of Linear Logic
– David N. Turner, Philip Wadler
- 1998
|
|
24
|
There's No Substitute for Linear Logic
– Philip Wadler
- 1991
|
|
89
|
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report)
– P. N. Benton
- 1994
|
|
49
|
Typed Memory Management via Static Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
|
A Functional Representation of Data Structures with a Hole
– Yasuhiko Minamide Research, Yasuhiko Minamide
- 1998
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
|
Some Theory and Applications of Linear Logic
– Chris Harrelson
- 2000
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
|
77
|
Once Upon a Type
– David Turner, Philip Wadler, Christian Mossin
- 1995
|
|
39
|
Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
- 2000
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
