Суббота, 21.09.2024, 01:53
Приветствую Вас Гость | RSS
Меню сайта
RSS
Поиск
Мини-чат
Наш опрос
На что делать акцент?
Результаты | Архив опросов
Всего ответов: 55
Реклама
Главная » Файлы » Книги » Уроки, обучение, курсы
Типы в языках программирования
03.11.2015, 06:24

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

Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 2010
Страниц: 656
Формат: PDF
Размер: 5,43 Мб
Качество: Отличное
Язык: Русский

Содержание:

Предисловие
1. Введение
2. Математический аппарат
I Бестиповые системы
3. Бестиповые арифметические выражения
4. Реализация арифметических выражений на языке ML
5. Бестиповое лямбда-исчисление
6. Представление термов без использования имен
7. Реализация лямбда-исчисления на ML
II Простые типы
8. Типизированные арифметические выражения
9. Простое типизированное лямбда-исчисление
10. Реализация простых типов на ML
11. Простые расширения
12. Нормализация
13. Ссылки
14. Исключения
III Подтипы
15. Подтипы
16. Метатеория подтипов
17. Реализация подтипов на ML
18. Расширенный пример: императивные объекты
19. Расширенный пример: Облегченная Java
IV Рекурсивные типы
20. Рекурсивные типы
21. Метатеория рекурсивных типов
V Полиморфизм
22. Реконструкция типов
23. Универсальные типы
24. Экзистенциальные типы
25. Реализация Системы F на ML
26. Ограниченная квантификация
27. Расширенный пример: еще раз императивные объекты
28. Метатеория ограниченной квантификации
VI Системы высших порядков
29. Операторы над типами и виды
30. Полиморфизм высших порядков
31. Подтипы высших порядков
32. Расширенный пример: чисто функциональные объекты
Приложения
А. Решения избранных упражнений
В. Принятые обозначения
Литература
Список иллюстраций
Предметный указатель



Категория: Уроки, обучение, курсы | Добавил: pmojka | Теги: языках, 2010, программирования, типы
Просмотров: 239 | Загрузок: 0
Рейтинг: 0.0/0
Уважаемый Гость! Если ссылка на материал битая, просим вас сообщить нам кликнув по ссылке ниже, и написав жалобу, что сссылка битая! Жаловаться на материал

Похожие публикации:

Поделись ссылкой

  • -ссылка
  • -BBCode
  • -HTML

    • Всего комментариев: 0
    Добавлять комментарии могут только зарегистрированные пользователи.
    [ Регистрация | Вход ]
    Пятерка последних добавленных игр:
    Magicka: Wizard Wars (2015/PC/RUS)
    Last Inua (2014/PC/RUS)
    Cargo 3 (2014/ENG/MULTi6)
    Фантастическая рыбалка / Fantastic Fishing v. Новый Год 2015 (2014/Rus/PC)
    GTA San Andreas - Русская зима v.0.1 (2015/ RUS) PC repack jn lucky
    Пятерка последних добавленных видео:
    Михаил Зуев-Ордынец - Желтый тайфун (1928) pdf, djvu
    Джеймс Хэдли Чейз - Собрание сочинений (1991-1995) fb2
    Александр Беляев - Остров погибших кораблей (Аудиокнига)
    Александр Беляев - Остров погибших кораблей (Аудиокнига)
    Эжен Сю - Сборник произведений (2011) fb2
    Авторизация
    Привет: Гость
    Группа: Гости
    Сообщения:

    Гость, мы рады вас видеть. Пожалуйста зарегистрируйтесь или авторизуйтесь!

    Облачко тегов
    Топ постеров
    pmojka
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 44599
    felix4
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 6389
    zyzy
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 4820
    Синица
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 4453
    19Anton98
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 2959
    Последнее на форуме
    Статистика
    » Зарег. на сайте
    Всего: 247
    Новых за месяц: 0
    Новых за неделю: 0
    Новых вчера: 0
    Новых сегодня: 0
    » Из них
    Администраторов: 1
    Модераторов: 1
    Журналисты: 35
    Проверенных: 1
    Обычных юзеров: 205
    » Из них
    Парней: 209
    Девушек: 38

    Онлайн всего: 9
    Гостей: 9
    Пользователей: 0
    Пользователи, посетившие
    сайт за текущий день :

    Вверх
    WMmail.ru - сервис почтовых рассылок Web-IP.ru - Система Активной Рекламы

    Copyright dga.ucoz.ru © 2008 - 2017 | Конструктор сайтов - uCoz
    Главная | Скачать софт | Скачать фильмы | Скачать игры | Скачать музыку | Скачать обои | Скачать книги | Sitemaprss
    Все файлы и ссылки на файлы, выложенные на сайте, были найдены в сети интернет как свободно распространяемые и предоставлены лишь для ознакомления с ними, последующим удалением с вашего компьютера и покупкой (при необходимости) у авторов продукции. Если вы являетесь правообладателем какого либо контента и не желаете его свободного распространения, сообщите нам и нарушение будет устранено. Обратная связь