• Sign in
  • Sign up
conf.researchr.org / Keigo Imai
  • FLOPS 2022 profile
  • ICFP 2021 profile
  • SPLASH 2020 profile
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

2022

FLOPS

  • Organization Co-chair in Organizing Committee
  • Committee Member in Organizing Committee within the AiDL 2022-track

2021

ML

  • Author of Verifying Multiparty Communication Protocols using ML Type Systems within the ML 2021-track

2020

SPLASH

  • Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track

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
Share
xThu 28 Sep 02:23
using conf.researchr.org (v1.61.3)
Support page
Sign Up