SARASWAT V A について
Xerox PARC について
RINARD M について
Stanford Univ. について
PANANGADEN P について
McGill Univ. について
Conference Record of the Annual ACM Symposium on Principles of Programming Languages について
論理プログラミング について
並行制約プログラミング について
計算理論 について
並行 について
制約プログラミング について
意味論 について
基礎 について