Добро пожаловать! Вы можете войти или зарегистрироваться
Обратная связь
Visa MasterCard WebMoney Яндекс.Деньги PayPal
+7 (495) 638-5305
+7 (812) 380-5006
Мой регион
Типы в языках программирования
Пирс Б.
[Previous]
[далее]
Типы в языках программирования
Заглянуть внутрь
Типы в языках программирования






Пирс Б.

Типы в языках программирования

бумажная книга

     
(0 голосов )

Аннотация к книге "Типы в языках программирования"

Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. 

 

Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.