Registered user since Sun 28 Nov 2021
Name:Louis Cheung
Affiliation:University of Melbourne
Contributions
CPP 2022 | Overcoming Restraint: Composing Verification of Foreign Functions with Cogent | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile