ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Zilin Chen

Registered user since Sun 9 Jul 2017

Name:Zilin Chen
Country:Australia
Affiliation:UNSW Sydney

Contributions

TyDe 2022 A Hoare-Logic Style Refinement Types Formalisation
Show activities from other conferences

ICFP 2022-profile
View general profile