Eridan Domoratskiy
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
- miniKanren2 editions2024–2026
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Efficient Rational Unification for miniKanren | miniKanren 2026 | 2026-08-24 |
Presents an algorithm that performs rational-term unification with performance close to conventional miniKanren triangular substitution on Herbrand terms… | ||
| An Empirical Study of Rational Tree Unification for miniKanren | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
Implements complete rational‑tree unification inside miniKanren for recursive type inference, replacing substitutions with equation systems instead of… | ||
| A Relational Solver for Constraint-based Type Inference | miniKanren 2024 | 2024-09-06 |
A miniKanren-based type inferencer for the Lama educational language is implemented: it infers constraints from terms, solves them relationally, and applies… | ||
| nothing matches | ||