Theorems for free! (1989)
by
Philip Wadler
| Venue: | FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE |
| Citations: | 290 - 6 self |
BibTeX
@INPROCEEDINGS{Wadler89theoremsfor,
author = {Philip Wadler},
title = {Theorems for free!},
booktitle = {FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE},
year = {1989},
pages = {347--359},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
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.
