I/O Guided Detection of List Catamorphisms - Towards Problem Specific Use of Program Templates in IP

Hofmann, MartinMartinHofmannKitzelmann, EmanuelEmanuelKitzelmann2019-09-192014-04-302010https://fis.uni-bamberg.de/handle/uniba/3962engI/O Guided Detection of List Catamorphisms - Towards Problem Specific Use of Program Templates in IPconferenceobject