
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 |
ICFP 2021-profile
View general profile
View general profile