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: | Bird, R, Gibbons, J, Jones, G |
---|---|
Format: | Conference item |
Published: |
Palgrave
2000
|
Similar Items
-
Program Optimisation‚ Naturally
by: Bird, R, et al.
Published: (2000) -
Solving Optimisation Problems with Catamorphisms
by: Bird, R, et al.
Published: (1993) -
FORMAL DERIVATION OF A PATTERN-MATCHING ALGORITHM
by: Bird, R, et al.
Published: (1989) -
Formal Derivation of a Pattern Matching Algorithm
by: Bird, R, et al.
Published: (1989) -
Formal Derivation of a Pattern Matching Algorithm
by: Bird, R, et al.
Published: (1989)