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

Купить бумажную книгу и читать

По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".

Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.

Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.

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

Автор: Бенджамин Пирс

Издательство: Лямбда пресс, Добросвет

Год: 2010

Страниц: 656

Язык: русский

Формат: pdf

Размер: 5.4 Мб

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

Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.

Дата создания страницы: