English

Theorems for free!

http://homepages.inf.ed.ac.uk/wadler/topics/parametricity.html 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.

Sign in with your free account to read, download EPUBs or listen.