UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Hofmann, Martin ; Kitzelmann, Emanuel:
I/O Guided Detection of List Catamorphisms - Towards Problem Specific Use of Program Templates in IP .
In: Gallagher, John ; Voigtländer, Janis (Hrsg.) : Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
(37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Madrid, 18.01.2010 - 22.01.2010).
New York : ACM SIGPLAN, 2010, S. 93-100. - ISBN 978-1-60558-727-1
UnivIS ist ein Produkt der Config eG, Buckenhof