Linear Types Can Change the World! (1990)

by Philip Wadler
Venue:PROGRAMMING CONCEPTS AND METHODS
Citations:134 - 9 self

Active Bibliography

March 1991 – Ar Ch, Philip Wadler - 1991
88 Is there a use for linear logic? – Philip Wadler - 1991
326 Theorems for free! – Philip Wadler - 1989
72 A syntax for linear logic – Philip Wadler - 1993
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
14 How to Make Destructive Updates Less Destructive – Martin Odersky - 1991
456 Comprehending Monads – Philip Wadler - 1992
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994