[/c]

Содержание:

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

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

Скачать с dfiles.ru
Скачать с turbobit.net
Скачать с hitfile.net
Скачать с uploaded.net