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.
|Title of host publication
|FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
|Number of pages
|Published - 1989