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