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