Keigo Imai @keigoi
Haskell programmer / OCaml programmer in IT Planning Inc., Japan. now making O'Caml on Android. Finally got Ph.D. at Nagoya Univ., at March, 2012.
-
函数プログラミングの集い 2011 in Tokyo その3 fpm2011
5754pv 21 1 user -
【型システム入門】TAPL翻訳の発売に沸き立つTL その2
5997pv 6 1 user -
【型システム入門】TAPL翻訳の発売に沸き立つTL
16665pv 46 8 users 4
-
【型システム入門】TAPL邦訳、Amazonベストセラー1位の謎
6800pv 25 2 users 2 -
Haskellでいつもimportしてるモジュールを聞いてみた
2333pv 8 2 users -
ICFP 2011
7193pv 10 2 users 1 -
函数プログラミングの集い 2011 in Tokyo その2 fpm2011
5302pv 14 2 users 1 -
ポリモルフィズム/ポリモーフィズム
5675pv 20 6 users 1