mutually recursive

mutually recursive

References in periodicals archive ?
Takeichi showed how to define a higher-order function common to all functions mutually defined so that multiple traversals of the same data structures in the mutually recursive definition can be eliminated.
Our derivation is more constructive: we derive list homomorphism directly from mutually recursive representations and then fuse it with other functions.