Not registered as user yet

Name: Kaede Kobayashi

Affiliation: Kyoto University

Contributions

BEAT 2019Author of Gradual Session Types in Imperative Style within the BEAT 2019-track