Типы в языках программирования

Название: Типы в языках программирования

Автор: Бенджамин Пирс
Год: 2010
Издательство: Лямбда пресс, Добросвет
ISBN: 978-5-7913-0082-9
Страниц: 655
Язык: Русский
Формат: PDF
Размер: 4 Mb
Описание: Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы.

Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.

Скачать (Download): Качество: отсканированные страницы СКАЧАТЬ


Обсуждение закрыто.