Keigo Imai

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