|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 10 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii |
From Applicative to Environmental Bisimulation.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
Environmental bisimulations for higher-order languages. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Piérard, Eijiro Sumii |
Sound Bisimulations for Higher-Order Distributed Process Calculus. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii |
A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Piérard, Eijiro Sumii |
Sound Bisimulations for Higher-Order Distributed Process Calculus |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nobuyuki Sato, Eijiro Sumii |
The Higher-Order, Call-by-Value Applied Pi-Calculus. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii |
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii |
A Theory of Non-monotone Memory (Or: Contexts for free). |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii (eds.) |
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canaday, September 21, 2008 |
ML |
2008 |
DBLP BibTeX RDF |
|
| 1 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for dynamic sealing. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
| 1 | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
Logical Bisimulations and Functional Languages. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
Environmental Bisimulations for Higher-Order Languages. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
| 1 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for dynamic sealing. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Benjamin C. Pierce |
Logical Relations for Encryption. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Eijiro Sumii, Hideo Bannai |
The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. |
Journal of Functional and Logic Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa |
The Interface Definition Language for Fail-Safe C. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa |
Regular Expression Types for Strings in a Text Processing Language. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa |
Supporting objects in run-time bytecode specialization. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
program transformation, partial evaluation, specialization, object-oriented paradigm |
| 1 | Eijiro Sumii, Hideo Bannai |
VM lambda: A Functional Calculusfor Scientific Discovery. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa |
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Naoki Kobayashi |
A Hybrid Approach to Online and Offline Partial Evaluation. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa |
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Hideo Bannai |
VM lambda: a Functional Calculus for Scientific Discovery. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Naoki Kobayashi, Shin Saito, Eijiro Sumii |
An Implicitly-Typed Deadlock-Free Process Calculus. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Naoki Kobayashi |
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Eijiro Sumii, Naoki Kobayashi |
A Generalized Deadlock-Free Process Calculus. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")