Зарегистрироваться
Восстановить пароль
FAQ по входу

Пирс Б. Типы в языках программирования

  • Файл формата pdf
  • размером 4,77 МБ
  • Добавлен пользователем
  • Описание отредактировано
Пирс Б. Типы в языках программирования
2010. — 655 с. — ISBN: 978-5-7913-0082-9.
Книге содержит всестороннее введение в системы типов, применяемых в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация