OchaCaml
お茶の水女子大学で開発されているOCaml処理系
website
Caml Lightってなに #??
answer type modification
Hindley-Milner型推論