Registered user since Wed 19 Aug 2020
Name:Cameron Wong
Bio:
Wannabe type theorist.
Affiliation:Harvard SEAS
Personal website: https://camdar.io
GitHub: https://github.com/CT075
Research interests:Programming Languages, Type Theory, Formal Methods
Contributions
Using general profile