Theorems for free! by Philip Wadler
From the abstract: ... This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus.
|
1 | [made Community Wiki] | ||
|
|
||||
