型推論の調べ物
- http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4-06w/text/miniml011.html
- http://itpro.nikkeibp.co.jp/article/COLUMN/20070717/277580/
- http://ocaml.jp/?plugin=attach&refer=Users+Meeting&openfile=OCaml-meeting0908-revised.pdf
- http://www.kmonos.net/wlog/sub/typeinf.html
まぁ、更新しなさすぎなんでむりやりにエントリにしたんだけども。