KOZEN D について
Cornell Univ., New York, USA について
PALSBERG J について
Aarhus Univ., Aarhus, DNK について
SCHWARTZBACH M I について
Aarhus Univ., Aarhus, DNK について
Conference Record of the Annual ACM Symposium on Principles of Programming Languages について
データ型 について
計算の複雑さ について
計算理論 について
システムプログラミング一般 について
部分型付け について