シャミノ @syamino
●プログラミング言語のことしか考えていない●形式手法,プログラム合成,プログラム変換,圏論,計算モデル,宣言型プログラミング,高階論理プログラミング●セプキャン2011プログラミング言語クラス参加者
-
Haskell Day 2012
8823pv 28 1 user -
ML名古屋まとめ
5907pv 14 2 users -
Shonan Meeting (05/19--22)
2367pv 13 2 users
-
HaskellとOCamlの型の違い
26215pv 61 40 users 3 -
トップエスイー特別講義、定理証明と検証
2362pv 7 2 users -
ICFP 2010 実況など
8502pv 4 11 users -
エアPOPL/Air POPL 2012: 39th ACM Air Symposium on Principles..
4043pv 13 3 users -
ICFP 2011
7222pv 10 2 users 1 -
Proof Summit 2011
4003pv 8 -
ICFP2011 1日目
4938pv 16 1 user -
型検査って何だろう。
2101pv 2 1 user -
Start::Clean
1993pv 5 1 user 1 -
LOPSTR/PPDP 2011 実況
3372pv 14 2 users -
PPL2011
1650pv 2 -
最近ですね、FRPはいまいち筋が悪いのではないかと
9336pv 20 6 users -
"Reify" をどう読むか?
3017pv -
型検査と型推論
7781pv 17 12 users 1 -
Coqチュートリアルへのアドバイスやご指摘
2339pv 6 1 user -
真夜中のSTMトーク
5435pv 30 15 users -
iterator雑談
2488pv 11 -
CoqのSortについて
1955pv 1 1 user -
#ashigel Ashigelコンパイラの勉強会
7723pv 90 22 users 2 -
パターンマッチに特化した CPU
2304pv 1 1 user -
2/4-5のリアクティブな話
1640pv 1 1 user