/typeinfer

Type inference in OCaml

Primary LanguageTeX

Algorithm W 入門

これはなに?

OCaml による Hindley-Milner の型推論アルゴリズムの実装と、その理論を含めた解説本です。コミックマーケット81で頒布しました。

間違いなどを発見した場合は

GitHub の Issue Tracker に登録してください。

連絡先

何かあれば以下に