conf.researchr.org / Gilmore R. Lundquist
Not registered as user yet
Name:Gilmore R. Lundquist
Contributions
miniKanren 2019 | Author of Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren within the miniKanren 2019-track |