Improving Programs Which Recurse over Multiple Inductive Structures.

Leonidas FegarasTim SheardTong Zhou
Published in: PEPM (1994)