Типы и языки программирования , ISBN 0-262-16209-1 , — это книга Бенджамина К. Пирса о системах типов , опубликованная в 2002 году.
В обзоре Фрэнка Пфеннинга она названа «вероятно, самой важной книгой в области языков программирования за последние годы». [1]