シャミノ @syamino
●プログラミング言語のことしか考えていない●形式手法,プログラム合成,プログラム変換,圏論,計算モデル,宣言型プログラミング,高階論理プログラミング●セプキャン2011プログラミング言語クラス参加者
-
エアPOPL/Air POPL 2012: 39th ACM Air Symposium on Principles..
4058pv 13 3 users
●プログラミング言語のことしか考えていない●形式手法,プログラム合成,プログラム変換,圏論,計算モデル,宣言型プログラミング,高階論理プログラミング●セプキャン2011プログラミング言語クラス参加者