Leonidas Fegaras, Tim Sheard, Tong Zhou
Improving Programs Which Recurse over Multiple Inductive Structures
PEPM, 1994.
@inproceedings{PEPM-1994-FegarasSZ, author = "Leonidas Fegaras and Tim Sheard and Tong Zhou", booktitle = "{Proceedings of the Fourth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical Report 94/9)}", pages = "21--32", publisher = "{University of Melbourne, Australia, Department of Computer Science}", title = "{Improving Programs Which Recurse over Multiple Inductive Structures}", year = 1994, }