ICFP 2021
Sun 22 - Sat 28 August 2021
Keigo Imai

Registered user since Thu 2 Jun 2016

Name:Keigo Imai
Country:Japan
Affiliation:Gifu University
Personal website:https://keigoimai.info/
Research interests:Concurrency, Behavioural types, Session types, Process calculi, Programming languages

Contributions

ML 2021 Verifying Multiparty Communication Protocols using ML Type Systems
Show activities from other conferences

Using general profile