1. Мы открыли доступ к ранее скрытому контенту.

    Вам доступно более 44 000 видео уроков, книг и программ без VIP статуса. Более подробно ЗДЕСЬ.
    Скрыть объявление

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

Тема в разделе "Неактивные складчины (архив)", создана пользователем Volchek, 2 июн 2014.

0/5, Голосов: 0

  1. Volchek

    Volchek Модератор

    Сообщения:
    13.711
    Симпатии:
    31.123
    Типы в языках программирования[​IMG]
    Types and Programming Languages
    Автор: Бенджамин Пирс
    Переводчики: Георгий Бронников, Алекс Отт
    Языки: Русский
    Издательство: Лямбда пресс, Добросвет
    ISBN 978-5-7913-0082-9, 978-5-9902824-1-4, 978-0-262-16209-8; 2012 г.
    Дополнительные характеристики
    Страниц 680 стр.
    Формат 70x100/16 (167x236 мм)
    Переплет Мягкая обложка
    Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
    Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
     

Сохранить в соц. сетях:
Оценить эту тему:
/5,