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

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

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

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

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

Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: MvGzQC98w3Z1gMq1kx5ACoy5.

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

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

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

Год: 2010

Страниц: 656

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

Формат: pdf

Размер: 5.4 Мб

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

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

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