Theorems for free! (1989)

Cached

Download Links

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

Documents Related by Co-Citation

381 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
1353 Monads for functional programming – Philip Wadler - 1995
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
985 A theory of type polymorphism in programming – Robin Milner - 1978
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
467 Comprehending Monads – Philip Wadler - 1992
766 Notions of Computation and Monads – Eugenio Moggi - 1991
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971