著： kakkun61

ラムダ式・真偽値・整数値のある簡素な言語を対象に型推論器を作ってみようという同人誌。

証明とかは抜きにしてとりあえず手を動かしてみようという方針。証明が気になる方は TAPL を読もう。

購入