=2

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

Бенджамин Пирс

Part I
Бестиповые системы

Part II
Простые типы

Part III
Подтипы

Part IV
Рекурсивные типы

Part V
Полиморфизм

Part VI
Системы высших порядков

Приложения


This document was translated from LATEX by HEVEA.