Domain-Theoretic Foundations of Functional Programming
Author | : Thomas Streicher |
Publisher | : World Scientific Publishing Company |
Total Pages | : 132 |
Release | : 2006-12-04 |
ISBN-10 | : 9789813106864 |
ISBN-13 | : 9813106867 |
Rating | : 4/5 (867 Downloads) |
Download or read book Domain-Theoretic Foundations of Functional Programming written by Thomas Streicher and published by World Scientific Publishing Company. This book was released on 2006-12-04 with total page 132 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.