Theorems for free! (1989)

Cached

Download Links

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

Documents Related by Co-Citation

365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
1312 Monads for functional programming – Philip Wadler - 1995
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
96 Algorithmics: Towards programming as a mathematical activity – L Meertens - 1986
456 Comprehending Monads – Philip Wadler - 1992
105 Data structures and program transformation – G Malcolm - 1990
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
97 and Order in Algorithmics – Law - 1992
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
215 An introduction to the theory of lists – R S Bird - 1987
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
730 Notions of Computation and Monads – Eugenio Moggi - 1991
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
68 Recursive Types Reduced to Inductive Types – P Freyd - 1990
41 Calculate Polytypically! – Lambert Meertens - 1996
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002