Grundlagen der funktionalen Programmierung - Thiemann, Peter 1964- (Vieweg+Teubner Verlag, 1994)
Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der Autor an der Eberhard-Karls-Universität Tübingen unter dem Titel "Einführung in die funktionale Programmierung" gehalten hat. Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verständnis des Buches sind die Kenntnis von Grundbegriffen der Informatik und Programmierung. Die Vorlesung, wie auch das Buch, besteht aus zwei Teilen. Der erste Teil umfaßt die Kapitel 1 bis 8 und ist praktisch orientiert. Er gibt eine kurze Einführung in die rein-funktionale Programmiersprache Gofer mit grundlegenden Programmiertechniken und Methoden der Verifikation und Transformation von Programmen gefolgt von einem kurzen Ausblick auf fortgeschrittene Techniken und weiterführende Konzepte. Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und Konstruktorklassen erlauben die kontrollierte Überladung von benutzerdefinierten Funktionen. Monaden ermöglichen unter anderem die Integration von in rein-funktionale Programmiersprachen. Variablen im herkömmlichen Sinn im zweiten Teil (Kap. 9 bis 15) werden verschiedene Modelle für Semantik und Ausführung funktionaler Programmiersprachen vorgestellt. Der Teil umfaßt eine Einführung in die Bereichstheorie, universelle Algebra, operationelle und de notationelle Semantik, und den Lambda-Kalkül. Ferner werden Typen und ihre Semantik, die automatische Rekonstruktion von Typen, sowie Grundbegriffe der abstrakten Interpretation und Striktheitsanalyse behandelt. Damit verzahnt werden Implementierungstechniken für funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert