Ekaterina Verbitskaia
where else to find them
what they talk about
where they keep going back
- miniKanren2 editions2020–2023
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Typed Embedding of miniKanren for Functional Conversion | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
A typed tagless-final embedding of miniKanren into Haskell replaces the old untyped deep AST with generated logic-term types (via Template Haskell), enabling… | ||
| A Case Study in Functional Conversion and Mode Inference in miniKanren | PEPM 2024 | 2024-01-16 |
Claims a concrete pipeline that turns miniKanren relations into deterministic functions via functional conversion plus mode inference, implemented as a… | ||
| Semi-Automated Direction-Driven Functional Conversion | miniKanren 2023 | 2023-09-08 |
A semi-automated pipeline converts miniKanren relations into functional code that preserves search completeness by normalizing goals, running mode analysis to… | ||
| An Empirical Study of Partial Deduction for miniKanren | miniKanren 2020 | 2020-08-27 |
Presents an implemented specializer that combines partial deduction and supercompilation into a conservative partial deduction for miniKanren, plus a… | ||
| nothing matches | ||