Registered user since Thu 4 Mar 2021

Name: Xin Zhao

Affiliation: KTH Royal Institute of Technology

Contributions

‹Programming› 2021 Consistency types for replicated data in a higher-order distributed programming language
Show activities from other conferences

‹Programming› 2021-profile
View general profile