Improving Programs Which Recurse over Multiple Inductive Structures.

Leonidas Fegaras, Tim Sheard, Tong Zhou

Browse the full PEPM paper archive.