Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shoji Yuen
conf.researchr.org general profile
ICFP 2021 profile
SPLASH 2020 profile
Registered user since Mon 8 Jun 2020
Name:
Shoji Yuen
Affiliation:
Nagoya University
Contributions
ML 2021
Author of Verifying Multiparty Communication Protocols using ML Type Systems within the ML 2021-track
SPLASH 2020
Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-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 Posters-track
Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track
Share
x
Fri 9 Jun 17:23