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

Эта статья в значительной степени или полностью основана на одном источнике . Соответствующее обсуждение можно найти на странице обсуждения . Пожалуйста, помогите улучшить эту статью, добавив ссылки на дополнительные источники .
Найти источники: «Типы и языки программирования» – новости · газеты · книги · ученый · JSTOR ( март 2024 г. )

«Типы и языки программирования» ( ISBN 0-262-16209-1 ) — книга Бенджамина С. Пирса о системах типов, опубликованная в 2002 году.

В рецензии Фрэнка Пфеннинга она названа «вероятно, самой важной книгой в области языков программирования за последние годы». ^[1]

Ссылки

^ Пфеннинг, Фрэнк (июнь 2004 г.). "обзор типов и языков программирования Бенджамина К. Пирса". Бюллетень символической логики . 10 (2). Ассоциация символической логики: 213– 214. doi :10.1017/s1079898600003954. JSTOR 3176763.

Внешние ссылки

Официальный сайт

Значок заглушки 1

Значок заглушки 2

Эта статья о компьютерной книге или серии книг — заглушка . Вы можете помочь Википедии, расширив ее.

Взято с "https://en.wikipedia.org/w/index.php?title=Типы_и_языки_программирования&oldid=1214785329"