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

Типы в языках программирования	Общие вопросы
Автор: Пирс Бенджамин Издательство: Добросвет, 2012	PDF, 656 страниц, 19.68 МБ 0 Оценка:
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.


2381 trundle 26 марта 2015

Посетители, находящиеся в группе Гости, имеют ряд ограничений на скачивание книг. После регистрации будут доступны все ссылки для скачивания, а также скрыта реклама на сайте.

F.A.Q
Чем открыть файл формата DjVu — Файл формата DjVu можно открыть при помощи программ DjVuReader или WinDjView. Чем открыть файл формата PDF — Файл формата pdf можно открыть при помощи программы Adobe Reader.

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.

Портал Книжка.info является самообновляемой электронной библиотекой книг, информацию в которую добавляют пользователи, согласные с тем, что они не нарушают авторских прав. На данном сайте представлены исключительно ссылки на другие ресурсы. Любое размещение информации, нарушающее авторское право будет незамедлительно удалено.