You are here

Publications

Export 1 results:
Filters: Keyword is CCT  [Clear All Filters]
2010
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.