論文ファイブ - d.y.d.

16:40 09/01/28 インドコンテスト おとといのを読み返してて、 全体として並列並行系多いなーといっておきながら、 個別紹介に１個もそれ系のがなくて面白いなあと思いました。 と、それはともかく、今年もインド発プログラミングコンテストのお知らせが来てました。 ICPCやTopCoder系の問題の出る CodeCraft、 Project Euler系の問題の出る MathematiKa、 あと今年はなんだか縛り付きプログラミング（ゴルフとか）系の Time Limit Exceeded というのがあるらしい。毎年恒例行事にするつもりなのかな。 去年のはわりと面白かったので、今年も参加してみるつもり。 23:10 09/01/26 POPL 2009 行ってきました。MS Research 多いなーというのと、 まあ当たり前ですが並列並行系多いなーというのが全体的な感想。 以下印象に

[takuto_h]

MLF, HML, FPH, HMF, Flexible Type, Rigit Type, Boxy Type, first-class polymorphism

[reptam]

first class polymorphism(多相関数を関数の引数にしたりとfirst class objectとして捉える)が出来ないのは型推論が難しいかららしい。

[anemo]

POPL2009

[NyaRuRu]

ファーストクラスの多相関数と型推論の困難

[hiromark]

最初の論文とか、じっくり読んでみたい。

[motemen]

論文ファイブ

[lameduck]

全く、どいつもこいつも面白くて時間が全然足りないよ…！

[hzkr]

2008年ベスト５シリーズ

[taroleo]

bidirectionalizationみたいにview updateの問題はDB分野でも今後もっと熱くなりそう