Type inference algorithm described in Modern Compiler Implementation in ML

Modern Compiler Implementation in ML で説明されている algorithm を実装したので、参考にしてください。

ocaml-typeinference

Comments

comments powered by Disqus