ICFP 2021
Sun 22 - Sat 28 August 2021
Nobuko Yoshida

Registered user since Sat 8 Aug 2015

Name:Nobuko Yoshida
Affiliation:Imperial College London

Contributions

ML 2021 Verifying Multiparty Communication Protocols using ML Type Systems
Show activities from other conferences

Using general profile