Информатика (программирование)
Информатика и вычислительная техника
  • формат pdf
  • размер 2,69 МБ
  • добавлен 27 февраля 2015 г.
Пирс Б. Типы в языках программирования
М.: Издательство «Лямбда пресс»: «Добросвет», 2011. — 656+xxiv с. — ISBN: 9785990282414, 9785791300829
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.