2009 |
21 | EE | Eijiro Sumii:
A Theory of Non-monotone Memory (Or: Contexts for free).
ESOP 2009: 237-251 |
2008 |
20 | | Eijiro Sumii:
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canaday, September 21, 2008
ACM 2008 |
2007 |
19 | EE | Davide Sangiorgi,
Naoki Kobayashi,
Eijiro Sumii:
Logical Bisimulations and Functional Languages.
FSEN 2007: 364-379 |
18 | EE | Davide Sangiorgi,
Naoki Kobayashi,
Eijiro Sumii:
Environmental Bisimulations for Higher-Order Languages.
LICS 2007: 293-302 |
17 | EE | Eijiro Sumii,
Benjamin C. Pierce:
A bisimulation for type abstraction and recursion.
J. ACM 54(5): (2007) |
16 | EE | Eijiro Sumii,
Benjamin C. Pierce:
A bisimulation for dynamic sealing.
Theor. Comput. Sci. 375(1-3): 169-192 (2007) |
2005 |
15 | EE | Eijiro Sumii,
Benjamin C. Pierce:
A bisimulation for type abstraction and recursion.
POPL 2005: 63-74 |
2004 |
14 | EE | Eijiro Sumii,
Benjamin C. Pierce:
A bisimulation for dynamic sealing.
POPL 2004: 161-172 |
2003 |
13 | EE | Kohei Suenaga,
Oiwa Yutaka,
Eijiro Sumii,
Akinori Yonezawa:
The Interface Definition Language for Fail-Safe C.
ISSS 2003: 192-208 |
12 | | Eijiro Sumii,
Benjamin C. Pierce:
Logical Relations for Encryption.
Journal of Computer Security 11(4): 521-554 (2003) |
11 | EE | Eijiro Sumii,
Hideo Bannai:
The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation.
Journal of Functional and Logic Programming 2003: (2003) |
2002 |
10 | EE | Reynald Affeldt,
Hidehiko Masuhara,
Eijiro Sumii,
Akinori Yonezawa:
Supporting objects in run-time bytecode specialization.
ASIA-PEPM 2002: 50-60 |
9 | EE | Eijiro Sumii,
Hideo Bannai:
VM lambda: A Functional Calculusfor Scientific Discovery.
FLOPS 2002: 290-304 |
8 | EE | Oiwa Yutaka,
Tatsurou Sekiguchi,
Eijiro Sumii,
Akinori Yonezawa:
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report.
ISSS 2002: 133-153 |
7 | EE | Naoshi Tabuchi,
Eijiro Sumii,
Akinori Yonezawa:
Regular Expression Types for Strings in a Text Processing Language.
Electr. Notes Theor. Comput. Sci. 75: (2002) |
2001 |
6 | | Eijiro Sumii,
Hideo Bannai:
VM lambda: a Functional Calculus for Scientific Discovery.
APLAS 2001: 265-275 |
5 | EE | Daisuke Hoshina,
Eijiro Sumii,
Akinori Yonezawa:
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation.
TACS 2001: 64-81 |
4 | | Eijiro Sumii,
Naoki Kobayashi:
A Hybrid Approach to Online and Offline Partial Evaluation.
Higher-Order and Symbolic Computation 14(2-3): 101-142 (2001) |
2000 |
3 | EE | Naoki Kobayashi,
Shin Saito,
Eijiro Sumii:
An Implicitly-Typed Deadlock-Free Process Calculus.
CONCUR 2000: 489-503 |
2 | EE | Eijiro Sumii,
Naoki Kobayashi:
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract).
PEPM 2000: 12-21 |
1998 |
1 | EE | Eijiro Sumii,
Naoki Kobayashi:
A Generalized Deadlock-Free Process Calculus.
Electr. Notes Theor. Comput. Sci. 16(3): (1998) |