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 2021 | metaKanren: Towards a Metacircular Relational Interpreter | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile