Магазин `Купить с доставкой`
Доставка до пунктов выдачи или почтой.
  |
Языки и среды программирования, технологии и т.п.
Производитель Добросвет
Типы в языках программирования
Производитель: Добросвет
Цена: 1701.00 руб.
Описание:
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.