A generalization of short-cut fusion and its correctness proof (0)

by P Johann
Venue:Higher-order and Symbolic Computation