Not registered as user yet

Name:Kaede Kobayashi
Affiliation:Kyoto University

Contributions

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