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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Appleton, Victor - Tom Swift And His Electric Rifle

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

Трансформаторы

Автор:
Категория: science, technical, civil, engineer, civil, energy
Размер книги: 2.45 Mb

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

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

Тюпа, Томка и сорока

Автор:
Категория: КНИГИ ДЛЯ ДЕТЕЙ
Размер книги: 1.41 Mb

El Caballero Son Nombre

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

Ship-Bored

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

Assassins et poetes

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