Theorems for free!

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationFPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
PublisherACM Press
Number of pages13
ISBN (Print)0-89791-328-0
Publication statusPublished - 1989


Dive into the research topics of 'Theorems for free!'. Together they form a unique fingerprint.

Cite this