A fold/unfold transformation framework for rewrite theories extended to CCT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

Identified as María Alpuente This author has not been identified. Look up 'Demis Ballis' in GoogleThis author has not been identified. Look up 'Michele Baggi' in GoogleThis author has not been identified. Look up 'Moreno Falaschi' in Google

runs on WebDSL