Dmitry Rozplokhas
where else to find them
no profile links on file
what they talk about
where they keep going back
- miniKanren2 editions2020–2021
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Complexity Study for Interleaving Search | miniKanren 2021 | 2021-08-26 |
Formal complexity model for canonical miniKanren, decomposing full-search time into scheduling factor, unification (with separate occurs-check cost), and… | ||
| Certified Semantics for Disequality | miniKanren 2020 | 2020-08-27 |
Semantics extends core miniKanren with disequality by parameterizing the operational rules over an abstract constraint store and proving completeness under… | ||
| nothing matches | ||