Registered user since Tue 20 Jul 2021
Name:Bharathi Ramana Joshi
Affiliation:IIIT Hyderabad
Personal website: https://bharathi.xyz/
X (Twitter): https://x.com/0xbrj
GitHub: https://github.com/iambrj
Research interests:Relational Programming, Scheme compilers, Programming Languages
Contributions
2022
ICFP 2022-profile
View general profile
View general profile