Registered user since Tue 12 Nov 2024
Name:Jan van Brügge
Country:United Kingdom
Affiliation:Heriot-Watt University
X (Twitter): https://x.com/jvanbruegge
GitHub: https://github.com/jvanbruegge
Contributions
POPL 2025-profile
View general profile
View general profile