Theorems for free! (1989) [224 citations — 5 self]
by
Philip Wadler
FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Wadler89theoremsfor,
author = {Philip Wadler},
title = {Theorems for free!},
booktitle = {FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE},
year = {1989},
pages = {347--359},
publisher = {ACM Press}
}
author = {Philip Wadler},
title = {Theorems for free!},
booktitle = {FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE},
year = {1989},
pages = {347--359},
publisher = {ACM Press}
}
Bookmarks
OpenURL
Abstract:
From the type of a polymorphic function we can derive a theorem that it satisfies. Every function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus.
