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 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. pages 43-52, ACM, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.