12 citations · 15 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 1 cited
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…
cs.PL2021
Generic Programming with Combinators and Objects
Dmitrii Kosarev, Dmitry Boulytchev
We present a generic programming framework for OCAML which makes it possible to implement extensible transformations for a large scale of type definitions. Our framework makes use…