7/16の読みたいものリスト
LCF MLについての一冊。
http://www.amazon.com/Edinburgh-LCF-Mechanized-Computation-Computer/dp/3540097244
Polymorphic type inference and assignment
http://gallium.inria.fr/~xleroy/publi/polymorphic-assignment.pdf
“Further reading”
http://caml.inria.fr/pub/docs/manual-caml-light/node20.html
CAML Primer
http://hal.inria.fr/inria-00070045/en/
全てcamlspotterさん情報
“Edinburgh-LCF-Mechanized-Computation-Computer”はちょっと大学の演習のからみがあるので優先して読みたいですね。