Shoji Yuen -

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