プログラミング言語の意味論や型システムについて学んだ

プログラミング言語の理論的な側面 (数理論理学, 操作的意味論, 表示的意味論) に興味を持ち、プログラミング言語処理系の実装を進めながらいろいろな文献を漁った時期でもありました。

「プログラミング言語の基礎概念」(通称 CoPL) という本で OCaml の操作的意味論について学び、そこで出題される導出木に関する問題を自動で解くプログラム (関連ツイート ) を OCaml で作成することで理解を深めました。