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

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

​

Types and Programming Languages
Автор: Бенджамин Пирс
Переводчики: Георгий Бронников, Алекс Отт
Языки: Русский
Издательство: Лямбда пресс, Добросвет
ISBN 978-5-7913-0082-9, 978-5-9902824-1-4, 978-0-262-16209-8; 2012 г.
Дополнительные характеристики
Страниц 680 стр.
Формат 70x100/16 (167x236 мм)
Переплет Мягкая обложка
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.