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 language | English |
|---|---|
| Title of host publication | FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture |
| Publisher | ACM Press |
| Pages | 347-359 |
| Number of pages | 13 |
| ISBN (Print) | 0-89791-328-0 |
| DOIs | |
| Publication status | Published - 1989 |