DMCA
Theorems for free! (1989)
by
Philip Wadler
| Venue: | FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE |
| Citations: | 373 - 7 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}
}
Share
 |
 |
 |
 |
||
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.
