
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