I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP.

Martin Hofmann, Emanuel Kitzelmann

Browse the full PEPM paper archive.