conf.researchr.org / Cameron Wong
Registered user since Wed 19 Aug 2020
Name: Cameron Wong
Bio: Wannabe type theorist.
Affiliation: Jane Street
Personal website: https://camdar.io
Research interests: Programming Languages, Type Theory, Formal Methods
Contributions
| SPLASH 2020 | Author of Gradual Verification of Recursive Heap Data Structures within the Posters-track Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track |