Вид издания:
Учебное пособие
Год:
2012
Издательство:
КДУ
ISSN/ISBN:
978-5-9902824-1-4/978-5-7913-0082-9
ББК:
32.973.26-018
УДК:
004.43
Специализации:
Правообладатель (©):
КДУ, Добросвет
Относится к ВУЗу(ам):
Каталоги:
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.