Keigo Imai -

Registered user since Thu 2 Jun 2016

Name:Keigo Imai

Country:Japan

Affiliation:Gifu University

Research interests:Concurrency, Behavioural types, Session types, Process calculi, Programming languages

Contributions

FLOPS 2022	Organization Co-chair in Organizing Committee
ML 2021	Author of Verifying Multiparty Communication Protocols using ML Type Systems within the ML 2021-track
ECOOP 2020	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
SPLASH 2020	Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track