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

Пирс Б.

Издательство: Книжный дом Университет, 2012 г.
Мягкая обложка, 656 стр.
ISBN 978-5-7913-0082-9
Формат: 70x100/16

рейтинг: 0 + - −

цена:
50.35 белорусских рублей

Нет на складе

От издателя

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