Keigo Imai

Keigo Imai

Gifu University - Gifu / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 4596207
岐阜大学
person_outline Keigo Imai's MOST POPULAR ARTICLES
1-) Session type inference in HaskellK Imai, S Yuen, K AgusaarXiv preprint arXiv:1110.4163, 2011362011
2-) Session-ocaml: A session-based library with polarities and lensesK Imai, N Yoshida, S YuenScience of Computer Programming 172, 135-159, 2019342019
3-) Multiparty session programming with global protocol combinatorsK Imai, R Neykova, N Yoshida, S YuenarXiv preprint arXiv:2005.06333, 2020252020
4-) Kmclib: Automated Inference and Verification of Session Types from OCaml ProgramsK Imai, J Lange, R NeykovaInternational Conference on Tools and Algorithms for the Construction and …, 2022112022
5-) Session Types Without Sophistry: System DescriptionO Kiselyov, K ImaiFunctional and Logic Programming: 15th International Symposium, FLOPS 2020 …, 202042020