|
85
|
Is there a use for linear logic?
– Philip Wadler
- 1991
|
|
|
March 1991
– Ar Ch, Philip Wadler
- 1991
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
5
|
The Girard-Reynolds isomorphism
– Philip Wadler
- 2001
|
|
4
|
The Girard-Reynolds isomorphism (second edition
– Philip Wadler, Jean-yves Girard
- 2004
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
26
|
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi
– Fritz Henglein, Harry G. Mairson
- 1991
|
|
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
|
|
77
|
Once Upon a Type
– David Turner, Philip Wadler, Christian Mossin
- 1995
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
12
|
How to Make Destructive Updates Less Destructive
– Martin Odersky
- 1991
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
|
272
|
Computational Interpretations of Linear Logic
– Samson Abramsky
- 1993
|
|
1
|
Developments in Object-Oriented Type Systems
– Michael I. Schwartzbach, C Fl Michael I. Schwartzbach
- 1994
|
|
38
|
evolution, and application of functional programming languages
– Paul Hudak
- 1989
|
