Пирс Б. Типы в языках программирования

Исследование систем типов, а также языков программирования с точки зрения теории типов, в последнее время превратилось в энергично развивающуюся научную дисциплину, имеющую важные приложения в проектировании программ, дизайне языков программирования, реализации высокопроизводительных компиляторов и в области безопасности. Настоящий текст представляет собой подробное введение в основные понятия, достижения и методы этой дисциплины.Содержание:Предисловие
Введение
Математический аппарат
I. Бестиповые системы
II. Простые типы
III. Наследование
IV. Рекурсивные типы
V. Полиморфизм
VI. Системы высших порядков
Приложения