Типы в языках программирования Алгоритмы и методы. Искусство программирования | Разработка программного обеспечения | Компьютерная литература | Нехудожественная литература

Алгоритмы и методы. Искусство программирования

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

Автор: Бенджамин Пирс
Год: 2014
Издание: Добросвет
Страниц: [не указано]
ISBN: 9780262162098, 9785990282414, 9785791300829
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные...

Добавлено: 2018-02-05 16:07:58