[admin]

Б.Пирс | Типы в языках программирования [2012] [PDF]

---

Автор: Б.Пирс
Название: Типы в языках программирования
Год: 2012
Издательство: Добросвет
ISBN: 978-5-7913-0082-9
Формат: PDF
Качество: Отличный скан с OCR, закладки
Количество страниц: 655

Описание:
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.

Скриншоты:


Время раздачи: По возможности круглосуточно