Автор:Бенджамин Пирс Год: 2014 Издание:Лямбда пресс, Добросвет, Добросвет Страниц: [не указано] ISBN: 9780262162098, 9785990282414, 9785791300829 Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные...