ISBN: 978-5-7913-0082-9
Внешнее покрытие издания: в обл.
Тираж издания: 500
Фамилия автора в заголовке: Пирс
Инициалы автора (личного имени (имен)): Б.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Типы в языках программирования
Сведения, относящиеся к заглавию: Пер. с англ.
Первые сведения об ответственности: Б. Пирс
Место издания: М.
Издатель: Лямбда пресс : Добросвет
Дата издания: 2014
Объем издания (количество страниц): 655
Высота, см.: 24
Полная форма имени (имен) и отчества: Бенджамин
Индекс УДК: 004.43
Статус записи (Тип информации): В наличии
Ширина, см: 18,3
Толщина, см: 2,8
Вес в граммах: 995
Индекс ББК: 32.973.26-018
Артикул: 2286314
Аннотация:

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

Читайте также: