Tree @master (Download .tar.gz)
Papers.md @master — view markup · raw · history · blame
miniKanren Papers
Relational Processing for Fun and Diversity
- subtitle: Simulating a CPU relationally with miniKanren
- authors: Gilmore R. Lundquist, Utsav Bhatt, Kevin W. Hamlen
- date: 2019
- url: http://minikanren.org/workshop/2019/minikanren19-final6.pdf
- topics: miniKanren, x86
.