Registered user since Tue 20 Jul 2021
Name:Bharathi Ramana Joshi
Affiliation:IIIT Hyderabad
Personal website:https://bharathi.xyz/
Twitter:https://twitter.com/0xbrj
GitHub:https://github.com/iambrj
Research interests:Relational Programming, Scheme compilers, Programming Languages
Contributions
| miniKanren 2022 | A Tutorial Reconstruction of miniKanren with constraints | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile