Domain-Theoretic Foundations of Functional Programming by Thomas Streicher (PDF)

Description

This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the technique of logical relations as developed by Scott and Plotkin. The solution of recursive domain equations is explained in detail.A complete discussion of the famous full abstraction problem for PCF (a functional Kernel language due to Scott and Plotkin) is given including a construction of the fully abstract Milner model using Kripke logical relations.A final chapter introduces computability in Scott domains and shows that this model is fully abstract and universal for appropriate extensions of PCF by parallel language constructs.

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐Die Idee – aus seinen Skript ein Büchlein zu kuratieren, ist Prof. Streicher, bestens gelungen.Auf 130 Seiten führt der Autor, seine Leser (Studenten) durch die Zeit und Perspektivender “Domain-Theoretic Foundations Of Functional Programming”. Fundiert und mit Bezugauf Anwendung in der Praxis, welche besonders im Bereich der Funktionalen-Programmierunganzutreffen sind.Stand der Veröffentlichung ist 2006 – durch seine klare Sichtweise undfundierte Ausarbeitung, gibt der Autor tiefere Einblicke – welche gerade zu als Dokumentationaktuellster Veröffentlichungen im Bereich modernster Computer-Technologien, als Grundlage, wie auchErgänzung – in dieser kompakten Form, einmalig ist.Bis jetzt, sind viele gute Interpretationen aufgetaucht, welche mir das Verständnis der Funktionalen Programmierung, schlüssiger zu Erkennen geben. Ob bei Projekten wie zum Beispiel F-Star-Lang (2006-2013/16)oder der Entstehung der PowerShell… Auch halte ich das Thema des Büchleins, bestens geeignet, als Grundlage für Datenstewards. In Bereichen wie Knowledge – Graphs oder OPENlinked-DATA…Das Büchlein, passt auch besonders gut – ergänzend, zum “script” – “From Mathematics to Generic Programming”…und schließt in diesem Fall eine Lücke zwischen dem technischen Anspruch an eine Maschine (Typewriter) undder formale Aspekte, einer vertrauenswürdigen Modellierung von Information.Der Text ist motivierend geschrieben und seine Untergliederung lässt den Leser schnell Finden.Damit sich der Inhalt gut greifen lässt, empfiehlt sich etwas Ruhe und Zeit mit zu bringen.Auch kann ein Abstecher zu weiteren Veröffentlichungen des Autors , sowie Empfehlungen,interessant sein. Diese sind meist frei Zugänglich und auf unterschiedlichen Plattformen erhältlich.Vielen Dank für dieses Tolle Produkt.Habe mich über mein Exemplar sehr gefreut. >>>>>>> translated by GOOGLE <<<<<<<<<<