Saytik+© Всё самое интересное в сети
        Saytik+
Вход | Регистрация
Приветствуем Вас ,Гость, на нашем сайте "Saytik+" !
У нас Вы можете скачать программы (софт),обои для рабочего стола,игры для Вашего ПК,а также музыку,фильмы,книги,скрипты и многое другое.Вы можете не только пользоваться материалами сайта,но и добавлять свои (для этого достаточно лишь зарегистрироваться на сайте).
Суббота, 15.06.19
Время: 
22:30
   



Навигация
Реклама от Так.ру


Наш опрос
Нужно ли скрывать ссылки для скачивания от гостей нашего сайта?


Всего проголосовало: 228
Интересное
Популярное
Новое на форуме
 Сеть автомастерских  Ответов:(0)
 Сеть автомастерских  Ответов:(0)
 Купить Датчики для вашего авто в Киеве!  Ответов:(0)
Друзья сайта


Архив материалов
Реклама


Главная » Литература » Скачать Типы в языках программирования

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

 

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

Автор: Gunpowder , Дата: 03.11.15,22:30
Просмотров: 352


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

Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 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. Расширенный пример: чисто функциональные объекты
Приложения
А. Решения избранных упражнений
В. Принятые обозначения
Литература
Список иллюстраций
Предметный указатель

Читайте наши новости через RSS
Все новости по теме: «Типы в языках программирования» 

Категория: Литература | Теги: языках, 2010, программирования, типы | Рейтинг: 0.0/0

Новости по теме:


Поделись ссылкой с друзьями: - Ссылка

- BBCode

- HTML

Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]



Внимание: Все выложенные здесь материалы предоставлены исключительно в целях ознакомления! После ознакомления с материалами Вы обязаны их удалить! Если вы хотите пользоваться данным материалом в дальнейшем – вы должны приобрести лицензию. Не удалив материал после ознакомления, вы берёте на себя ответственность, согласно действующему законодательству. Все авторские и другие права на данные материалы принадлежат их правообладателям. Любое использование данных материалов (в том числе - коммерческое), кроме ознакомления – является незаконным! За последствия, возникшие в процессе ознакомления с материалами этого сайта, равно как и за применение опубликованных программ ответственность несете только Вы сами!
Наш сайт не является инстанцией, однозначно определяющей критерии соответствия ресурсов действующему законодательству , и поэтому не несет никакой ответственности как за содержание материала «Типы в языках программирования» ,так и за содержание других материалов.


Вверх
Авторизация
Гость!



Логин:


Пароль:
Забыл пароль  |  Регистрация
Календарь
«  Ноябрь 2015  »
ПнВтСрЧтПтСбВс
      1
2345678
9101112131415
16171819202122
23242526272829
30
Облако тегов
Для отображения блока требуется Flash Player 10
Показать все теги
СМИ-это интересно
Наша кнопка
Вы можете разместить нашу кнопку у Вас на сайте



Получить код кнопки:

Все рекламные материалы
Стоит взглянуть...
Статистика
тИЦ и PR сайта romale80.ucoz.ru
Онлайн пользователи:
Всего online: 3
Незарегистрированных: 3
Пользователей: 0

Лучшие пользователи:
Приветствуем новичка:

На правах рекламы


Кто на сайте ?
Новое у партнера
Счетчики

Раскрутка сайта - регистрация в каталогах
Рейтинг@Mail.ru


ВНИМАНИЕ!
Все файлы расположенные на данном ресурсе были взяты из открытых источников. Любая информация представленная здесь, может использоваться только в ознакомительных целях, после чего вы обязаны ее удалить. Сайт не предоставляет электронные версии произведений и ПО, а занимается индексированием файлов, находящихся в файлообменных сетях. Все права на произведения и ПО принадлежат правообладателям. Ни основатель проекта, ни хостинг-провайдер, не любые другие физические или юридические лица не несут никакой ответственности за использование материалов сайта. Заходя на сайт под своим аккаунтом вы автоматически соглашаетесь с данными условиями.   [Правообладателям]

©2009 - 2019 Saytik+romale80.ucoz.ru           
Получить кнопку|Get button