NAKAZAWA Koji について
Kyoto Univ., Kyoto, JPN について
TATSUTA Makoto について
National Inst. Informatics, JPN について
KAMEYAMA Yukiyoshi について
Univ. Tsukuba, JPN について
NAKANO Hiroshi について
Ryukoku Univ., JPN について
Lecture Notes in Computer Science について
型付け について
λ計算 について
型検査 について