default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEijiro Sumii
Person information
- affiliation: Tohoku University, ECEI
- unicode name: 住井 英二郎
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c27]Masayuki Mizuno, Eijiro Sumii:
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. APLAS 2019: 181-201- 2018
- [c26]Masayuki Mizuno, Eijiro Sumii:
Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. FLOPS 2018: 1-16 - 2016
- [j8]Michael Codish
, Eijiro Sumii:
Preface for special section from FLOPS 2014. J. Funct. Program. 26: e14 (2016) - [c25]Taichi Yachi, Eijiro Sumii:
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. APLAS 2016: 171-186 - [e3]Jacques Garrigue, Gabriele Keller, Eijiro Sumii:
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. ACM 2016, ISBN 978-1-4503-4219-3 [contents] - 2015
- [c24]Ryohei Tokuda, Eijiro Sumii, Akinori Abe:
Specialization of Generic Array Accesses After Inlining. ML Family/OCaml 2015: 45-53 - 2014
- [c23]Akinori Abe, Eijiro Sumii:
A Simple and Practical Linear Algebra Library Interface with Static Size Checking. ML/OCaml 2014: 1-21 - [e2]Michael Codish, Eijiro Sumii:
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Lecture Notes in Computer Science 8475, Springer 2014, ISBN 978-3-319-07150-3 [contents] - 2012
- [c22]Adrien Piérard, Eijiro Sumii:
A Higher-Order Distributed Calculus with Name Creation. LICS 2012: 531-540 - 2011
- [j7]Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii:
Environmental bisimulations for higher-order languages. ACM Trans. Program. Lang. Syst. 33(1): 5:1-5:69 (2011) - [c21]Adrien Piérard, Eijiro Sumii:
Sound Bisimulations for Higher-Order Distributed Process Calculus. FoSSaCS 2011: 123-137 - [c20]Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii:
From Applicative to Environmental Bisimulation. MFPS 2011: 215-235 - 2010
- [j6]Eijiro Sumii:
A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation. Theor. Comput. Sci. 411(51-52): 4358-4378 (2010) - [i2]Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii:
Limitations of Applicative Bisimulation (Preliminary Report). Modelling, Controlling and Reasoning About State 2010 - [i1]Adrien Piérard, Eijiro Sumii:
Sound Bisimulations for Higher-Order Distributed Process Calculus. CoRR abs/1006.4943 (2010)
2000 – 2009
- 2009
- [c19]Nobuyuki Sato, Eijiro Sumii:
The Higher-Order, Call-by-Value Applied Pi-Calculus. APLAS 2009: 311-326 - [c18]Eijiro Sumii:
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References. CSL 2009: 455-469 - [c17]Eijiro Sumii:
A Theory of Non-monotone Memory (Or: Contexts for free). ESOP 2009: 237-251 - 2008
- [e1]Eijiro Sumii:
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008. ACM 2008, ISBN 978-1-60558-062-3 [contents] - 2007
- [j5]Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for type abstraction and recursion. J. ACM 54(5): 26 (2007) - [j4]Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for dynamic sealing. Theor. Comput. Sci. 375(1-3): 169-192 (2007) - [c16]Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii:
Logical Bisimulations and Functional Languages. FSEN 2007: 364-379 - [c15]Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii:
Environmental Bisimulations for Higher-Order Languages. LICS 2007: 293-302 - 2005
- [c14]Eijiro Sumii:
MinCaml: a simple and efficient compiler for a minimal functional language. FDPE@ICFP 2005: 27-38 - [c13]Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for type abstraction and recursion. POPL 2005: 63-74 - 2004
- [c12]Eijiro Sumii, Benjamin C. Pierce:
A bisimulation for dynamic sealing. POPL 2004: 161-172 - 2003
- [j3]Eijiro Sumii, Benjamin C. Pierce:
Logical Relations for Encryption. J. Comput. Secur. 11(4): 521-554 (2003) - [j2]Eijiro Sumii, Hideo Bannai:
The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. J. Funct. Log. Program. 2003 (2003) - [c11]Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa:
The Interface Definition Language for Fail-Safe C. ISSS 2003: 192-208 - 2002
- [c10]Eijiro Sumii, Hideo Bannai:
VM lambda: A Functional Calculusfor Scientific Discovery. FLOPS 2002: 290-304 - [c9]Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa:
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. ISSS 2002: 133-153 - [c8]Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa:
Supporting objects in run-time bytecode specialization. ASIA-PEPM 2002: 50-60 - [c7]Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa:
Regular Expression Types for Strings in a Text Processing Language. TIP@MPC 2002: 95-113 - 2001
- [j1]Eijiro Sumii, Naoki Kobayashi:
A Hybrid Approach to Online and Offline Partial Evaluation. High. Order Symb. Comput. 14(2-3): 101-142 (2001) - [c6]Eijiro Sumii, Hideo Bannai:
VM lambda: a Functional Calculus for Scientific Discovery. APLAS 2001: 265-275 - [c5]Eijiro Sumii, Benjamin C. Pierce:
Logical Relations for Encryption. CSFW 2001: 256-269 - [c4]Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa:
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation. TACS 2001: 64-81 - 2000
- [c3]Naoki Kobayashi, Shin Saito, Eijiro Sumii:
An Implicitly-Typed Deadlock-Free Process Calculus. CONCUR 2000: 489-503 - [c2]Eijiro Sumii, Naoki Kobayashi:
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). PEPM 2000: 12-21
1990 – 1999
- 1998
- [c1]Eijiro Sumii, Naoki Kobayashi:
A Generalized Deadlock-Free Process Calculus. HLCL 1998: 225-247
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
