conf.researchr.org / Greg Brown
Registered user since Fri 12 Jan 2024
Name:Greg Brown
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website: https://www.yellowsquid.uk
GitHub: https://github.com/yellowsquid
Research interests:Metaprogramming; Type theory
Contributions