Daisuke NISHITANI @cho_tekitou
Aichi Japan Interesting:Haskell,OCaml,Coq
-
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
20857pv 151 73 users 10 -
Coq'Art読書会 #0 #readcoqart まとめ
1467pv 8 1 user -
Parallel and Concurrent Programming in Haskell 読書会 第1回
3198pv 9 2 users
-
Operational Monad
5678pv 15 17 users -
ekmett勉強会 #ekmett_conf
11725pv 24 7 users 4 -
Haskell beats C
5623pv 22 10 users 2 -
PPL2013
4738pv 13 -
Monad クラスと Functor クラスや Applicative クラスの間に階層関係がないのは、本当に「歴史..
5640pv 24 3 users -
ScalazとHaskellの比較記事というか疑問点をいっぱい書いたら、shelarcyさんにいっぱい教えてもらったよ!
7216pv 27 19 users 2 -
#readghc 第一回
2269pv 6 2 users 3 -
Haskellで速くて良いプログラムを書く
4223pv 2 1 user -
Haskellのgeneric deriving
3202pv 6 1 user -
Haskellに関する@tanakh氏の発言
3356pv 7 1 user -
HaskellのSTMとトランザクション分離レベル
7867pv 14 9 users 1 -
分散KVS上でのトランザクションについて@stakezakiさんとお話
7654pv 26 14 users 4 -
Haskell Day 2012
8856pv 28 1 user -
第一回関数型言語勉強会 大阪 まとめ #fpstudy
7526pv 30 5 users 3 -
Shonan Meeting (05/19--22)
2383pv 13 2 users -
最強のIT系かあちゃんからたかしへのアドバイス
438428pv 5221 1889 users 3343 -
Start SML#
3638pv 15 -
GHC 以外の処理系での IO 型/IO モナドの実装
5398pv 23 7 users 1 -
Haskell で可変長引数を扱う方法
10511pv 35 11 users 1 -
Haskellでいつもimportしてるモジュールを聞いてみた
2355pv 8 2 users -
Lock-freeデータ構造で使用されるABA避けカウンタについて
6265pv 17 3 users 1 -
言語のJITコンパイラをその言語自身で作る事の意義とは
13144pv 137 47 users 8