Estudo da teoria da linguagem de programação

Recentemente, fiquei extremamente interessado em entender e provar aspectos de linguagens de programação (funcionais).

$\lambda$

Eu li o SICP (um livro bastante esclarecedor), mas estou procurando aprofundar a teoria da programação funcional. Existe algum livro / blog / site / nome-do-it que discuta a teoria das linguagens de programação funcional desde o início?

Não é fácil encontrar livros que considerem a semântica denotacional de $\lambda$-cálculo. Uma possibilidade é:

1. Roberto M. Amadio e Pierre-Louis Curien: Domínios e Lambda-Calculi

As contas da teoria do tipo são mais fáceis de obter:

1. Bob Harper, Fundamentos Práticos de Linguagens de Programação (também há uma versão impressa ).
2. Benjamin Pierce, Tipos e Linguagens de Programação .
3. No curso de Frank Pfenning sobre computação e dedução , acho que ele também publicou um livro com o mesmo título.

Uma nova resposta para uma pergunta antiga . Você pode estar interessado em Categoria Teoria para programadores por Bartosz Milewski. De maneira mais geral, você pode consultar o blog Programming Cafe, de Bartosz Milewski .

Esses livros têm classificações altas e surgem em diferentes comunidades científicas:

Teoria dos tipos e programação funcional de Simon Thompson.

Estrutura e Interpretação de Programas de Computador