Improving programs which recurse over multiple inductive structures (0)

by L Fegaras, T Sheard, T Zhou
Venue:In PEPM ’94