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

• Оригинальное название: Types and Programming Languages
• Автор(ы): Пирс Б.
• Язык: Русский
• Размер: 240/170 mm
• Издатель: Лямбда пресс
• Год выхода: 2012
• Оформление: Мягкая обложка
• Количество страниц: 680
• ISBN: 978-5-7913-0082-9

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