Not registered as user yet
Name:Utsav Bhatt
Contributions
miniKanren 2019 | Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile