Bharathi Ramana Joshi
where else to find them
what they talk about
where they keep going back
- miniKanren2 editions2021–2022
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Tutorial Reconstruction of miniKanren with constraints | miniKanren 2022 | 2022-09-15 |
Reconstructs the appendix D implementation to show exactly how miniKanren adds constraints and how to extend it, providing a four-part recipe for implementing… | ||
| metaKanren: Towards a Metacircular Relational Interpreter | miniKanren 2021 | 2021-08-26 |
metaKanren implements a deep relational interpreter for a microKanren-like language and claims to enable metacircular behavior that a shallow embedding cannot… | ||
| nothing matches | ||