Dmitry Boulytchev

15 papers B 2C 1Misc 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Empirical Study of Rational Tree Unification for miniKanren.
CoRR
Eridan Domoratskiy, Dmitrii Kosarev, Dmitry Boulytchev
2024 J jnl
A Relational Solver for Constraint-based Type Inference.
CoRR
Eridan Domoratskiy, Dmitry Boulytchev
2023 C conf
Relational Solver for Java Generics Type System.
LOPSTR
Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev
2022 — conf
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One.
TFPIE
Daniil Berezun, Dmitry Boulytchev
2022 Misc conf
Scheduling Complexity of Interleaving Search.
FLOPS
Dmitry Rozplokhas, Dmitry Boulytchev
2022 J jnl
Scheduling Complexity of Interleaving Search.
CoRR
Dmitry Rozplokhas, Dmitry Boulytchev
2021 — conf
An Empirical Study of Partial Deduction for miniKanren.
VPT@ETAPS
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev
2021 — conf
Efficient fair conjunction for structurally-recursive relations.
PEPM@POPL
Peter Lozov, Dmitry Boulytchev
2021 J jnl
Generic Programming with Combinators and Objects.
CoRR
Dmitry Kosarev, Dmitry Boulytchev
2020 B conf
Certified Semantics for Relational Programming.
APLAS
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
2020 J jnl
Certified Semantics for Relational Programming.
CoRR
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
2020 B conf
Relational Synthesis for Pattern Matching.
APLAS
Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev
2017 — conf
Typed Relational Conversion.
TFP
Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev
2016 — conf
Typed Embedding of a Relational Language in OCaml.
ML/OCAML
Dmitry Kosarev, Dmitry Boulytchev
2015 J jnl
Combinators and type-driven transformers in Objective Caml.
Sci. Comput. Program.
Dmitry Boulytchev