libcats.org
Главная

Domain-theoretic Foundations of Functional Programming

Обложка книги Domain-theoretic Foundations of Functional Programming

Domain-theoretic Foundations of Functional Programming

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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

The Meme Machine

Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Digital Photography: The Missing Manual

Автор: , Автор:
Размер книги: 11.78 Mb

Рубакин

Автор:
Размер книги: 9.61 Mb

Construire en béton cellulaire

Автор: , Автор: , Автор: , Автор:
Размер книги: 5.19 Mb

Science, Hegemony and Violence: A Requiem for Modernity

Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 837 Kb

Une gueule de bois en plomb

Автор: , Автор:
Размер книги: 25.63 Mb

The Wonder Book of Chemistry

Автор:
Размер книги: 2.97 Mb

Sobre Las Enseñanzas De Gurdjieff Y Ouspensky

Автор:
Категория: fiction
Размер книги: 2.00 Mb

Rose

Автор:
Категория: fiction
Размер книги: 147 Kb