- Добавил: bhaer
- Дата: 31-05-2017, 00:12
- Комментариев: 0

Название: Practical Foundations for Programming Languages, 2nd Edition
Автор: Robert Harper
Издательство: Cambridge University Press
Год: 2016
Страниц: 512
Формат: PDF, EPUB
Размер: 30 Mb
Язык: English
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics.