| Inverting functions as folds (2002) | |||||||||||||||||
Abstract | |||||||||||||||||
| Abstract. This paper describes a technique for constructing the inverse of a partial function as a relational hylomorphism. When the function is total, the inverse is expressed as a relational fold. If the inverse is required to satisfy additional properties, the non-determinism in the relational fold can be eliminated by appeal to fusion. The technique is illustrated with three examples, all dealing with constructing trees satisfying certain constraints. 1 | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||