Frontmatter -- Vorwort -- Inhaltsverzeichnis -- 1 Elemente funktionaler Programmierung -- 2 Verzögerte Auswertung -- 3 Verifikation und Programm-Transformation -- 4 Der Lambda-Kalkül -- 5 Typisierung und Typinferenz -- 6 Implementierungstechniken -- Lösungen zu den Aufgaben -- Literatur -- Indexweiterlesen