Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Darstellung
Druckansicht
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
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
Institution:
Lehrstuhl für Kognitive Systeme
UnivIS ist ein Produkt der
Config eG
, Buckenhof