Types and Programming Languages: перевод

Это сайт, предназначенный для поддержки русского перевода книги Бенджамина Пирса "Типы в языках программирования" (Benjamin C. Pierce, Types and Programming Languages)

Предполагается, что готовый перевод будет издан.

Авторы перевода — Юра Бронников и Алекс Отт. Мы будем рады получить от вас комментарии, замечания по редактированию, терминологии и верстке.

Текст вчерне завершен, идет редактирование.