Theorems for free! (1989)

Cached

Download Links

by Philip Wadler
Venue:FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
Citations:330 - 6 self

Active Bibliography

8 The Girard-Reynolds isomorphism – Philip Wadler - 2001
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
135 Linear Types Can Change the World! – Philip Wadler - 1990
124 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
347 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
282 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
45 evolution and application of functional programming languages – Paul Hudak - 1989
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
34 Domain Theoretic Models Of Polymorphism – Thierry Coquand, Carl A. Gunter, Glynn Winskel - 1989
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
72 A syntax for linear logic – Philip Wadler - 1993
3 Covariant Types – C. Barry Jay - 1997
1 A Fresh Look at Parametric Polymorphism: Covariant Types – C. Barry Jay - 1996
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
58 Typability and Type Checking in System F Are Equivalent and Undecidable – J. B. Wells - 1998