Registered user since Mon 24 Apr 2023
Name:Alexey Gotsman
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: http://software.imdea.org/~gotsman/
Contributions
POPL 2024-profile
View general profile
View general profile
Registered user since Mon 24 Apr 2023
Contributions