より良くプログラムを書くためには

Algebraic Effects入門

プログラミングの基礎理論 第4回 自由に生成された集合と再帰的関数、暗黙に型付けられたラムダ計算

計算機システム概論

プログラミングの基礎理論 第2回 言語の帰納的な定義

OCamlのメモリモデルについて