Ваша оценкаЭта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Жанры
Издательство:
ISBN:
978-5-7913-0082-9, 978-5-9902824-1-4, 978-0-262-16209-8
Год издания:
2012
Язык:
Русский
Мягкая обложка, 680 стр.
Формат: 70x100/16 (167x236 мм)
Возрастные ограничения:
18+
Рейтинг LiveLib
0
0 оценок
Ваша оценкаПрочитали 1Хотят прочитать 13
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
