Registered user since Sun 17 Aug 2025
Name:Ari Prakash
Country:United States
Affiliation:Northeastern University
Personal website: https://ari.foo
GitHub: https://github.com/ariscript
Research interests:Type Systems, Logic, Language Interoperability
Contributions
Using general profile