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
Contributions
POPL 2026-profile
View general profile
View general profile