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