Registered user since Thu 10 Aug 2017
Name:Nick Benton
Country:United Kingdom
Affiliation:Meta
Personal website: http://nickbenton.name/
Research interests:Programming Languages, Logic
Contributions
POPL 2024-profile
View general profile
View general profile