You are using an outdated browser. Please upgrade your browser to improve your experience.
Мы используем «куки», чтобы было удобней пользоваться нашей интернет-страницей. Используя наш сайт, вы соглашаетесь с нашей политикой приватности. Для более подробной информации ознакомьтесь с нашей политикой конфиденциал
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
.
.