Eridan Domoratskiy

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)

Frequent co-authors

Dmitry Boulytchev (1)

Papers (1)

Jul 27, 2026

Eridan Domoratskiy +1Jul 27, 2026·also St. Petersburg State University

Efficient Rational Unification for miniKanren

Achieving performance parity with conventional miniKanren unification, this new algorithm redefines efficiency in rational term unification for persistent settings.

Eridan Domoratskiy, Dmitry Boulytchev

Code Generation & Program Synthesis

Search

Eridan Domoratskiy

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)