Session Type Inference in Haskell - Keigo Imai; Shoji Yuen; Kiyoshi Agusa (PLACES, 2010)

A Session Type System with Subject Reduction. - Keigo Imai; Shoji Yuen; Kiyoshi Agusa (IEICE Trans. Inf. Syst., 2012)

Can We Understand Researcher Grant Needs without Direct Communication? - Yusuke Yamamoto; Keigo Imai; Taketo Tsugehara (IIAI-AAI, 2015)

Towards Bidirectional Synchronization Between Communicating Processes and Session Types. - Liye Guo; Hsiang-Shang Ko; Keigo Imai; Nobuko Yoshida; Zhenjiang Hu (BigComp, 2019)

Lightweight Linearly-typed Programming with Lenses and Monads. - Keigo Imai; Jacques Garrigue (J. Inf. Process., 2019)

Session-ocaml: A session-based library with polarities and lenses. - Keigo Imai; Nobuko Yoshida; Shoji Yuen (Sci. Comput. Program., 2019)

Multiparty Session Programming With Global Protocol Combinators. - Keigo Imai; Rumyana Neykova; Nobuko Yoshida; Shoji Yuen (ECOOP, 2020)

Session Types Without Sophistry - System Description. - Oleg Kiselyov; Keigo Imai (FLOPS, 2020)

Fluent Session Programming in C#. - Shunsuke Kimura 002; Keigo Imai (PLACES@ETAPS, 2020)

Multiparty Session Programming with Global Protocol Combinators (Artifact). - Keigo Imai; Rumyana Neykova; Nobuko Yoshida; Shoji Yuen (Dagstuhl Artifacts Ser., 2020)

kmclib: Automated Inference and Verification of Session Types. - Keigo Imai; Julien Lange; Rumyana Neykova (CoRR, 2021)

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. - Keigo Imai; Julien Lange; Rumyana Neykova (TACAS (1), 2022)