
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