プログラミング言語理論の勉強

私は最近、（機能的な）プログラミング言語の側面を理解し、証明することに非常に興味を持ちました。

しかし、さらに深く掘り下げていくと、計算、カテゴリー理論、および表示的意味論のようなものは、適切な説明なしに理解するのが少し難しいです。$\lambda$

私はSICP（非常に啓発的な本）を読みましたが、関数型プログラミングの理論をさらに深く掘り下げたいと思っています。関数型プログラミング言語の理論を一から議論する本/ブログ/サイト/あなたの名前はありますか？

の表示的意味論を検討本を手にするのは容易ではない -calculusを。1つの可能性は次のとおりです。$\lambda$

1. ロベルト・M・アマディオとピエール・ルイ・キュリアン：ドメインとラムダ計算

型理論的なアカウントは、簡単に取得できます：

1. Bob Harper、Practical Foundations of Programming Languages（印刷版もあります）。
2. ベンジャミン・ピアス、型とプログラミング言語。
3. 計算と演 onに関するフランク・ペニングのコースは、彼も同じタイトルの本を出版したと思います。

古い質問に対する新しい答え。Bartosz Milewskiのプログラマ向けカテゴリ理論に興味があるかもしれません。より一般的には、Bartosz MilewskiのProgramming Cafeブログをご覧ください。

これらの本は高い評価を受けており、さまざまな科学コミュニティで登場します。

サイモン・トンプソンによる型理論と関数型プログラミング。

コンピュータプログラムの構造と解釈