Изучение теории языка программирования

Недавно я чрезвычайно заинтересовался пониманием и доказательством аспектов (функциональных) языков программирования.

Однако, как я углублюсь в глубину, такие вещи, как исчисление , теория категорий и денотационная семантика, немного трудно найти без надлежащего объяснения.$\lambda$

Я читаю SICP (довольно поучительная книга), но я хочу углубиться в теорию функционального программирования. Есть ли какие-нибудь книги / блоги / сайты / you-name-it, которые обсуждали бы теорию функциональных языков программирования с нуля?

Нелегко найти книги, в которых рассматривается денотационная семантика вычисления. Одна возможность:$\lambda$

1. Роберто М. Амадио и Пьер-Луи Кюрен: Домены и лямбда-исчисления

Теоретические счета легче достать:

1. Боб Харпер, Практические основы языков программирования (есть также печатная версия ).
2. Бенджамин Пирс, Типы и языки программирования .
3. Курс Фрэнка Пфеннинга по вычислениям и дедукции , я думаю, он также опубликовал книгу с таким же названием.

Новый ответ на старый вопрос . Вас может заинтересовать Теория категорий для программистов Бартоша Милевски. В более общем плане, вы можете посмотреть в блоге Bartosz Milewski's Programming Cafe .

Эти книги имеют высокие оценки и попадают в различные научные сообщества:

Теория типов и функциональное программирование Саймона Томпсона.

Структура и интерпретация компьютерных программ