МЕНЮ
Полезные сервисы
НАША БАЛАБОЛКА :)
goldenminer
goldenminer
1 июня 2016

please set me author ^^ thanks admin so much!
klot85
klot85
23 ноября 2015

Еще одна проблема! Все мы люди, ошибаемся, но вот отредактировать свою новость не предоставляется возможным, что будем делать?
klot85
klot85
23 ноября 2015

Administrator,
Спасибо!
Administrator
Administrator
23 ноября 2015

klot85,
Там другой Админ сайт тот продан. Пишите ему..
klot85
klot85
23 ноября 2015

Administrator,
Я в посетителях на сайте http://headsoft.kz
smile-54
Administrator
Administrator
21 ноября 2015

Новый обменник http://24wm.kz/ Обменять электронные валюты, ввод вывод на банк карты Казахстана.. smile-23
Hottei83
Hottei83
19 ноября 2015

Не, я болел с другой проблемой. Каждый год рицидив. Внемозговая менингиома - это жопа полная. Уже 2 степень поставили. Вот такие пироги. Я бы рад был, если бы грипп был )))
Administrator
Administrator
19 ноября 2015

Привет! Я вот привился от гриппа вакциной первый раз в жизни и реально помогает, повально вот щас грипп прошёл и идёт а мне хоть бы чё!!! smile-53
Hottei83
Hottei83
19 ноября 2015

Все ссори понял, что тот сайт у другого. Так я и остался там в ненаглавной. Уйду наверно нахрен оттуда, фильтрую сайты сейчас, чтобы время экономить. Да и лишние скачки появятся от воровства журов )))
Hottei83
Hottei83
19 ноября 2015

Может пустите меня на главную? А то другие такие же уроки постят, а я так и сижу. Скачек вообще нет с сайта ни одного за все время. Ну если нет то нет no

Только зарегистрированные посетители могут писать в чате.
Мы ВКонтакте!
Онлайн
Сейчас на сайте: 18
Гостей: 15
Пользователи: - отсутствуют
Роботы: 
 Здесь были: 

Хеадсофт ws портал

Скачать бесплатно новинки софта, анонсы видео, музыкальные альбомы, книги , журналы, обзор игр и много разного и полезного.

Типы в языках программирования скачать

3-11-2015, 01:15   Книги и журналы / Книги   Автор: Gunpowder    73/0   
Типы в языках программирования

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

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

Скачать Типы в языках программирования


скачать dle 10.4фильмы бесплатно

    

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо зайти на сайт под своим именем.