| |
| Популярные книги |
|
|
|
|
| « ОБЩИЕ ВОПРОСЫ » |
24 августа 2014 |
ТИПЫ В ЯЗЫКАХ ПРОГРАММИРОВАНИЯ |
№ 102118722 |
Автор: geran :: Просмотров: 4079 |
|
|
|
ОписаниеЭта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Ключевые теги: информатика, система, книга, задача, концепция, множество, пример, разработчик, студент, аспирант, область, практик, материал, вопрос, пирс, бенджамин
|
|
|
(голосов: 0) |
Уважаемый посетитель вы вошли на сайт как незарегистрированный пользователь. Мы рекомендуем вам зарегистрироваться либо войти на сайт под своим именем. |
 |
Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости. |
|
|
ШКОЛЬНАЯ ЛИТЕРАТУРА
