 | 2009 |
|---|
| 22 |       | Eijiro Sumii:
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References.
CSL 2009: 455-469 |
| 21 | | 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 | | Davide Sangiorgi,
Naoki Kobayashi,
Eijiro Sumii:
Logical Bisimulations and Functional Languages.
FSEN 2007: 364-379 |
| 18 | | Davide Sangiorgi,
Naoki Kobayashi,
Eijiro Sumii:
Environmental Bisimulations for Higher-Order Languages.
LICS 2007: 293-302 |
| 17 | | Eijiro Sumii,
Benjamin C. Pierce:
A bisimulation for type abstraction and recursion.
J. ACM 54(5): (2007) |
| 16 | | Eijiro Sumii,
Benjamin C. Pierce:
A bisimulation for dynamic sealing.
Theor. Comput. Sci. 375(1-3): 169-192 (2007) |
| 2005 |
|---|
| 15 | | Eijiro Sumii,
Benjamin C. Pierce:
A bisimulation for type abstraction and recursion.
POPL 2005: 63-74 |
| 2004 |
|---|
| 14 | | Eijiro Sumii,
Benjamin C. Pierce:
A bisimulation for dynamic sealing.
POPL 2004: 161-172 |
| 2003 |
|---|
| 13 | | 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 | | 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 | | Reynald Affeldt,
Hidehiko Masuhara,
Eijiro Sumii,
Akinori Yonezawa:
Supporting objects in run-time bytecode specialization.
ASIA-PEPM 2002: 50-60 |
| 9 | | Eijiro Sumii,
Hideo Bannai:
VM lambda: A Functional Calculusfor Scientific Discovery.
FLOPS 2002: 290-304 |
| 8 | | 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 | | 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 | | 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 | | Naoki Kobayashi,
Shin Saito,
Eijiro Sumii:
An Implicitly-Typed Deadlock-Free Process Calculus.
CONCUR 2000: 489-503 |
| 2 | | Eijiro Sumii,
Naoki Kobayashi:
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract).
PEPM 2000: 12-21 |
| 1998 |
|---|
| 1 | | Eijiro Sumii,
Naoki Kobayashi:
A Generalized Deadlock-Free Process Calculus.
Electr. Notes Theor. Comput. Sci. 16(3): (1998) |
