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