Eijiro Sumii
发表
Eijiro Sumii,
2010
.
B. Pierce,
Eijiro Sumii,
2005,
POPL.
Eijiro Sumii,
Yuji Sato,
2013
.
B. Pierce,
Eijiro Sumii,
2007,
JACM.
P. Levy,
Eijiro Sumii,
Vasileios Koutavas,
2011
.
Benjamin C. Pierce,
Eijiro Sumii,
B. Pierce,
2005,
POPL '05.
Akinori Abe,
Eijiro Sumii,
Eijiro Sumii,
2015,
ML/OCaml.
Hideo Bannai,
Eijiro Sumii,
H. Bannai,
2002,
APLAS.
Hideo Bannai,
Eijiro Sumii,
H. Bannai,
2003,
J. Funct. Log. Program..
Davide Sangiorgi,
Naoki Kobayashi,
Eijiro Sumii,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Naoki Kobayashi,
Eijiro Sumii,
N. Kobayashi,
2002
.
Shin Saito,
Naoki Kobayashi,
Eijiro Sumii,
2000,
CONCUR.
Akinori Yonezawa,
Yutaka Oiwa,
Eijiro Sumii,
2002,
ISSS.
Eijiro Sumii,
Nobuyuki Sato,
Eijiro Sumii,
2009,
APLAS.
Benjamin C. Pierce,
Eijiro Sumii,
B. Pierce,
2001,
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Eijiro Sumii,
Hidetaka Tatsuzawa,
Akiyoshi Yonezawa,
2005
.
Eijiro Sumii,
Eijiro Sumii,
2005,
FDPE '05.
Eijiro Sumii,
Eijiro Sumii,
2002
.
Benjamin C. Pierce,
Eijiro Sumii,
B. Pierce,
2004,
Theor. Comput. Sci..
Akinori Yonezawa,
Kohei Suenaga,
Yutaka Oiwa,
2003,
ISSS.