Фестиваль «NAUKA 0+» в Тверской области посвятили периодической таблице Менделеева
С 4 по 6 октября 2019 года в Тверской области пройдет IX Всероссийский фестиваль науки «NAUKA 0+». В этом году фестиваль посвящен международному ...

В Зарядье стартовал кинолекторий от телеканалов "Наука" и "Моя Планета"
Москвичей и гостей столицы научат путешествовать и обращаться с дикими животными. В Зарядье стартовал кинолекторий от телеканалов "Наука ...

Наука: Память и воля в наследство от матери
Исследования 35 семей в Калифорнийском университете в Сан-Франциско показали, что эмоциональная сфера и ...

Наука с фантастикой
Например, если автомобили все чаще будут оснащать электродвигателями, а не двигателями внутреннего сгоран ...

Наука: Интеллектуалы играют в DotA: определенные жанры игр связаны с высоким IQ
Исследователи из Йоркского университета (York University, Канада) обнаружили связь между способностью молодых ...

Наука не знает, как крысы их воруют
Недавно знаменитому натуралисту Джону Берроузу задали вопрос: как крысы переносят украденные куриные яйца? Берроуз вынужден был ...

Типы в Языках Программирования
# Ти8544

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

1 271 р.

Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике

Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал

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

Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы

100