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,
}











