Program Optimisation‚ Naturally
It is well-known that each polymorphic function satisfies a certain equational law, called a <em>naturality</em> condition. Such laws are part and parcel of the basic toolkit for improving the efficiency of functional programs. More rarely, some polymorphic functions also possess a <e...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Palgrave
2000
|