Is there a use for linear logic? (1991)

by Philip Wadler
Citations:88 - 7 self

Documents Related by Co-Citation

134 Linear Types Can Change the World! – Philip Wadler - 1990
92 The linear abstract machine – Yves Lafont - 1988
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992
44 Lilac – a functional programming language based on linear logic – I Mackie
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
103 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
72 A syntax for linear logic – Philip Wadler - 1993
24 There's No Substitute for Linear Logic – Philip Wadler - 1991
19 A linear functional language – S Holmström - 1988
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
56 Detecting global variables in denotational specifications. ACM transactions on programming languages and systems – D A Schmidt - 1985
616 Light Linear Logic – Jean-yves Girard
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
17 Linear logic and interference control – P W O’Hearn - 1991
456 Comprehending Monads – Philip Wadler - 1992
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995