最近のLtU

CS

RSSリーダによればLtUにて面白い投稿が相次いでいるようだが，とても追う余裕がない．

依存型λ算法のチュートリアル，concurrency （並行性）の記事とparallelism （並列性）の記事，定理証明系の利用の実例，C# 3.0のLINQの開発過程， ... 誰か代わりに読んで