Типы в языках программирования
|
Автор: Пирс Бенджамин
Жанр: Разное
Издательство: Добросвет
Год: 2012 Количество страниц: 656
Формат:
PDF (32.80 МБ)
Дата загрузки: 26 марта 20152013-12-07
|
Аннотация
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Скачать с нашего сайта
|
Комментарии
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
|
|