1 citations · 1 across the 4 of their papers we have counts for
3 papers · 1 filter
Typed Embedding of miniKanren for Functional Conversion
Igor Engel, Ekaterina Verbitskaia
Relational programming enables program synthesis through a verifier-to-solver approach. An earlier paper introduced a functional conversion that mitigated some of the inherent perf…
Proceedings of the 2024 miniKanren and Relational Programming Workshop
Ekaterina Verbitskaia, Joseph P. Near
The miniKanren and Relational Programming Workshop is a workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, cor…
An Empirical Study of Partial Deduction for miniKanren
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language…