型情報から求めている関数を探すというのはそもそものアイデアは http://www.dicosmo.org/ResearchThemes/ISOS/ISOShomepage.html この辺を参照してほしいんですけど、型付き関数型言語でのプログラム開発の超強力なツールになっていて、OCamlBrowser, Hoogl…

CUFP のチュートリアルプログラムがいつの間にか発表されていますね: http://cufp.org/conference/sessions/2011はじめ噂で聞いてた人がいなかったりしますが、選考はほとんど関わっていないので、何か事情があったりするんでしょう。一つ25分のトークと違っ…

これは私用の覚え書きを適当に整形したもの(というか Sphinx で hatena 記法にしただけだけど)。だから他の人が読んで判るように全く書いていない。OCaml や ML のモジュールシステム、 value polymorphism、さらには relaxed value polymorphism、そして日…