Издательство: | Добросвет |
Дата выхода: | январь 2014 |
ISBN: | 978-5-7913-0082-9 |
Объём: | 656 страниц |
Масса: | 992 г |
Размеры(В x Ш x Т), см: | 24 x 17 |
Обложка: | мягкая |
Переводное издание: | Types and Programming Languages |
ISBN оригинала: | 0262162091 |
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.