• Sign in
  • Sign up
conf.researchr.org / Utsav Bhatt
  • ICFP 2019 profile
No Photo

Not registered as user

Name:Utsav Bhatt

Contributions

2019

miniKanren

  • Author of Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren within the miniKanren 2019-track
Share
xWed 21 May 19:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up