Registered user since Sun 10 Nov 2019
Name:Mukund Raghothaman
Country:United States
Affiliation:University of Southern California
Personal website: https://r-mukund.github.io
Contributions
2024
Symposium on Practical Aspects of Declarative Languages
POPL 2024-profile
View general profile
View general profile