conf.researchr.org / Keigo Imai

Registered user since Thu 2 Jun 2016
Name:Keigo Imai
Country:Japan
Affiliation:DeNA Co., Ltd.
Personal website: https://keigoimai.info/
X (Twitter): https://x.com/keigoi
GitHub: https://github.com/keigoi
Research interests:Concurrency, Behavioural types, Session types, Process calculi, Programming languages
Contributions
2022
2020
SPLASH
ECOOP
- Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track
- Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track
- Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track