
Registered user since Sun 9 Jul 2017
Name:Zilin Chen
Country:Australia
Affiliation:UNSW Sydney
Personal website:https://trustworthy.systems/people/?cn=Zilin+Chen
Contributions
TyDe 2022 | A Hoare-Logic Style Refinement Types Formalisation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile