Search the dblp DataBase

Publications of Author

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