Eijiro Sumii
发表
Eijiro Sumii,
Eijiro Sumii,
2005,
FDPE '05.
Benjamin C. Pierce,
Eijiro Sumii,
2001,
J. Comput. Secur..
Eijiro Sumii,
Hidetaka Tatsuzawa,
Akiyoshi Yonezawa,
2005
.
Davide Sangiorgi,
Naoki Kobayashi,
Eijiro Sumii,
2007,
FSEN'07.
Naoki Kobayashi,
Eijiro Sumii,
1999,
PEPM '00.
Naoki Kobayashi,
Eijiro Sumii,
1998,
Electron. Notes Theor. Comput. Sci..
Naoki Kobayashi,
Eijiro Sumii,
N. Kobayashi,
2002
.
Hideo Bannai,
Eijiro Sumii,
H. Bannai,
2002,
APLAS.
Eijiro Sumii,
2010,
Theor. Comput. Sci..
Masayuki Mizuno,
Eijiro Sumii,
2018,
FLOPS.
Shin Saito,
Naoki Kobayashi,
Eijiro Sumii,
2000,
CONCUR.
Eijiro Sumii,
Adrien Piérard,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Paul Blain Levy,
Vasileios Koutavas,
Eijiro Sumii,
2010,
Modelling, Controlling and Reasoning About State.
Akinori Yonezawa,
Kohei Suenaga,
Yutaka Oiwa,
2003,
ISSS.
Eijiro Sumii,
2008,
ICFP 2008.
Akinori Abe,
Eijiro Sumii,
Ryohei Tokuda,
2015,
ML Family/OCaml.
Eijiro Sumii,
Nobuyuki Sato,
Eijiro Sumii,
2009,
APLAS.
Akinori Yonezawa,
Eijiro Sumii,
Naoshi Tabuchi,
2002,
Electron. Notes Theor. Comput. Sci..
Benjamin C. Pierce,
Eijiro Sumii,
2000
.
Benjamin C. Pierce,
Eijiro Sumii,
2007,
Theor. Comput. Sci..
Benjamin C. Pierce,
Eijiro Sumii,
B. Pierce,
2001,
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Akinori Abe,
Eijiro Sumii,
Eijiro Sumii,
2015,
ML/OCaml.
Eijiro Sumii,
2008,
ML.
Akinori Yonezawa,
Eijiro Sumii,
Daisuke Hoshina,
2001,
TACS.
Eijiro Sumii,
Taichi Yachi,
2016,
APLAS.
Eijiro Sumii,
2016
.
Benjamin C. Pierce,
Eijiro Sumii,
2003
.
Eijiro Sumii,
Naoki Kobayashi,
2000
.
Davide Sangiorgi,
Naoki Kobayashi,
Eijiro Sumii,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Eijiro Sumii,
Hisatoshi Sutou,
2007
.
Michael Codish,
Eijiro Sumii,
2014,
Lecture Notes in Computer Science.
Davide Sangiorgi,
Naoki Kobayashi,
Eijiro Sumii,
2007,
LICS.
Benjamin C. Pierce,
Eijiro Sumii,
B. Pierce,
2005,
POPL '05.
Michael Codish,
Eijiro Sumii,
2016,
J. Funct. Program..
Akinori Yonezawa,
Hidehiko Masuhara,
Reynald Affeldt,
2002,
ASIA-PEPM '02.
Akinori Yonezawa,
Yutaka Oiwa,
Eijiro Sumii,
2002,
ISSS.
Benjamin C. Pierce,
Eijiro Sumii,
B. Pierce,
2004,
Theor. Comput. Sci..
Eijiro Sumii,
2012
.
Hideo Bannai,
Eijiro Sumii,
H. Bannai,
2003,
J. Funct. Log. Program..
Eijiro Sumii,
Adrien Piérard,
2011,
FoSSaCS.
Gabriele Keller,
Jacques Garrigue,
Eijiro Sumii,
2016,
ICFP.
Paul Blain Levy,
Vasileios Koutavas,
Eijiro Sumii,
2011,
MFPS.
Eijiro Sumii,
2009,
ESOP.
Naoki Kobayashi,
Eijiro Sumii,
2001,
High. Order Symb. Comput..
Naoki Kobayashi,
Eijiro Sumii,
1999
.
Eijiro Sumii,
Masayuki Mizuno,
2019,
APLAS.
Eijiro Sumii,
Eijiro Sumii,
2002
.
Eijiro Sumii,
2009,
CSL.