Martin Hofmann 0008, Emanuel Kitzelmann. I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. 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 93-100, ACM, 2010. [doi]
Abstract is missing.