Прибыль можно копировать! Дешевые домены в зоне RU Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

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

Бенджамин Пирс. Типы в языках программирования Авторы:Бенджамин Пирс.
Издательство:Лямбда пресс, Добросвет
Год издания:2012
Серия:
Страниц:680
Размеры:70x100/16
Цена:1585 руб.
Купить

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

Заказывают также