María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi. A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation. ACM,
No references recorded for this publication.
No citations of this publication recorded.