レコード計算の多相型システムと型推論

最終更新：

スライド プログラミング言語 型システム
PDF

初出：