KRISHNASWAMI Neelakantan R. について
MPI-SWS について
BENTON Nick について
Microsoft Res. について
HOFFMANN Jan について
Yale Univ. について
ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages) について
関数 について
反応 について
空間 について
限界 について
計算 について
λ計算 について
含意 について
表示的意味論 について
データフロー について
プログラミング について
メモリリーク について
線形論理 について
応用プログラミング言語 について
限界 について
関数 について
プログラミング について