Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Keigo Imai

今井敬吾

> Home > Persons

Person information

unicode name: 今井敬吾
affiliation: Gifu University, Japan

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/ImaiNYY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/ImaiNYY20
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators (Artifact). Dagstuhl Artifacts Ser. 6(2): 18:1-18:2 (2020)
2019
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jip/ImaiG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jip/ImaiG19
Keigo Imai, Jacques Garrigue:
Lightweight Linearly-typed Programming with Lenses and Monads. J. Inf. Process. 27: 431-444 (2019)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ImaiYY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ImaiYY19
Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A session-based library with polarities and lenses. Sci. Comput. Program. 172: 135-159 (2019)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/ImaiYA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/ImaiYA12
Keigo Imai, Shoji Yuen, Kiyoshi Agusa:
A Session Type System with Subject Reduction. IEICE Trans. Inf. Syst. 95-D(8): 2053-2064 (2012)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ImaiLN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ImaiLN22
Keigo Imai, Julien Lange, Rumyana Neykova:
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. TACAS (1) 2022: 379-386
2020
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/ImaiNYY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ImaiNYY19
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming With Global Protocol Combinators. ECOOP 2020: 9:1-9:30
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/KiselyovI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/KiselyovI20
Oleg Kiselyov, Keigo Imai:
Session Types Without Sophistry - System Description. FLOPS 2020: 66-87
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-01325
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-01325
Shunsuke Kimura, Keigo Imai:
Fluent Session Programming in C#. PLACES@ETAPS 2020: 61-75
2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/bigcomp/GuoKIYH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bigcomp/GuoKIYH19
Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu:
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp 2019: 1-5
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/ImaiYY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ImaiYY17
Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A Session-Based Library with Polarities and Lenses. COORDINATION 2017: 99-118
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iiaiaai/YamamotoIT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiaiaai/YamamotoIT15
Yusuke Yamamoto, Keigo Imai, Taketo Tsugehara:
Can We Understand Researcher Grant Needs without Direct Communication? IIAI-AAI 2015: 462-467
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4163
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4163
Keigo Imai, Shoji Yuen, Kiyoshi Agusa:
Session Type Inference in Haskell. PLACES 2010: 74-91

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-12147
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-12147
Keigo Imai, Julien Lange, Rumyana Neykova:
kmclib: Automated Inference and Verification of Session Types. CoRR abs/2111.12147 (2021)
2020
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06333
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators. CoRR abs/2005.06333 (2020)

a service of

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.