» » Бенджамин Пирс. Типы в языках программирования (PDF)

Бенджамин Пирс. Типы в языках программирования (PDF)

 Бенджамин Пирс. Типы в языках программирования (PDF)

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

Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год издания: 2010
Страниц: 656
Язык: Русский
Формат: PDF
Размер: 5,4 Mb
Скачать: Бенджамин Пирс. Типы в языках программирования (PDF)


Комментариев пока нет, добавьте свой!

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.