Обложка Пирс Б. Типы в языках программирования
Id: 189394
1299 руб.

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

2014. 680 с. ISBN 978-5-7913-0082-9.
  • Мягкая обложка

Аннотация

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

Книга будет полезна как для практикующих разработчиков, так... (Подробнее)