Keigo Imai

According to our database, Keigo Imai authored at least 12 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.

Keigo Imai, Julien Lange, Rumyana Neykova

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

kmclib: Automated Inference and Verification of Session Types.

Keigo Imai, Julien Lange, Rumyana Neykova

CoRR, 2021

2020

Multiparty Session Programming with Global Protocol Combinators (Artifact).

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

Dagstuhl Artifacts Ser., 2020

Fluent Session Programming in C#.

Shunsuke Kimura, Keigo Imai

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

Session Types Without Sophistry - System Description.

Oleg Kiselyov, Keigo Imai

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

Multiparty Session Programming With Global Protocol Combinators.

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Session-ocaml: A session-based library with polarities and lenses.

Keigo Imai, Nobuko Yoshida, Shoji Yuen

Sci. Comput. Program., 2019

Lightweight Linearly-typed Programming with Lenses and Monads.

Keigo Imai, Jacques Garrigue

J. Inf. Process., 2019

Towards Bidirectional Synchronization Between Communicating Processes and Session Types.

Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

2015

Can We Understand Researcher Grant Needs without Direct Communication?

Yusuke Yamamoto, Keigo Imai, Taketo Tsugehara

Proceedings of the IIAI 4th International Congress on Advanced Applied Informatics, 2015

2012

A Session Type System with Subject Reduction.

Keigo Imai, Shoji Yuen, Kiyoshi Agusa

IEICE Trans. Inf. Syst., 2012

2010

Session Type Inference in Haskell

Keigo Imai, Shoji Yuen, Kiyoshi Agusa

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010