ENGLISH

Domain-theoretic Foundations of Functional Programming

By Thomas Streicher

Book information

Publisher
World Scientific Publishing Company
Year
2006
ISBN
9812701427, 9789812701428
Open Library ID
OL9198030M
Language
english
Format
PDF
Filesize
1 MB (1536017 bytes)
Pages
124\124
Time added
2011-01-26 19:25:26

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.

Similar books