Типы и языки программирования
 | Эта статья в значительной степени или полностью опирается на один источник . ( март 2024 г. ) |
Типы и языки программирования , ISBN 0-262-16209-1 — это книга Бенджамина К. Пирса о системах типов, опубликованная в 2002 году.
В обзоре Фрэнка Пфеннинга она названа «вероятно, самой важной книгой в области языков программирования за последние годы». [1]
Ссылки [ править ]
- ^ Пфеннинг, Фрэнк (июнь 2004 г.). «Обзор типов и языков программирования Бенджамина К. Пирса». Бюллетень символической логики . 10 (2). Ассоциация символической логики: 213–214. дои : 10.1017/s1079898600003954 . JSTOR 3176763 .
Внешние ссылки [ править ]
  | Эта статья о компьютерной книге или серии книг незавершена . Вы можете помочь Википедии, расширив ее . |