Интернет магазин

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

Год издания: 
2014
ISBN: 
978-5-7913-0082-9
Страниц: 
680
Издательство: 
КДУ; Добросвет
Нет на складе

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

Авторы: