Monad tutorial

Yesod勉強会

C++コミュニティーの中心でC++をDISる

手書きスライド

IdrisでWebアプリを書く

関数プログラミング入門

Icfp2009

Initial in vivo evaluation of the newly developed axial flow turbo pump with hydrodynamic bearings