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]
Abstract is missing.