Nobuko Yoshida

Registered user since Sat 8 Aug 2015

Name: Nobuko Yoshida

Affiliation: Imperial College London

Contributions

PLDI 2019 Verifying Message-Passing Programs with Dependent Behavioural Types
Show activities from other conferences

PLDI 2019-profile
View general profile