Keigo Imai

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 11

Top Topics

Description Language

Top Venues

Dagstuhl Artifacts Ser.

Sci. Comput. Program.

Publications

Keigo Imai, Julien Lange, Rumyana Neykova
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. TACAS (1) (2022)
Keigo Imai, Julien Lange, Rumyana Neykova
kmclib: Automated Inference and Verification of Session Types. CoRR (2021)
Shunsuke Kimura, Keigo Imai
Fluent Session Programming in C#. PLACES@ETAPS (2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Multiparty Session Programming with Global Protocol Combinators (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Multiparty Session Programming With Global Protocol Combinators. ECOOP (2020)
Oleg Kiselyov, Keigo Imai
Session Types Without Sophistry - System Description. FLOPS (2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Multiparty Session Programming with Global Protocol Combinators. CoRR (2020)
Keigo Imai, Nobuko Yoshida, Shoji Yuen
Session-ocaml: A session-based library with polarities and lenses. Sci. Comput. Program. 172 (2019)
Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp (2019)
Keigo Imai, Jacques Garrigue
Lightweight Linearly-typed Programming with Lenses and Monads. J. Inf. Process. 27 (2019)
Keigo Imai, Nobuko Yoshida, Shoji Yuen
Session-ocaml: A Session-Based Library with Polarities and Lenses. COORDINATION (2017)
Yusuke Yamamoto, Keigo Imai, Taketo Tsugehara
Can We Understand Researcher Grant Needs without Direct Communication? IIAI-AAI (2015)
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
A Session Type System with Subject Reduction. IEICE Trans. Inf. Syst. (8) (2012)
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
Session Type Inference in Haskell PLACES (2010)