Typed Embedding of a Relational Language in OCaml. - Dmitry Kosarev; Dmitry Boulytchev (ML/OCAML, 2016)

Relational Synthesis for Pattern Matching. - Dmitry Kosarev; Petr Lozov; Dmitry Boulytchev (APLAS, 2020)

Generic Programming with Combinators and Objects. - Dmitry Kosarev; Dmitry Boulytchev (CoRR, 2021)

Relational Solver for Java Generics Type System. - Peter Lozov; Dmitry Kosarev; Dmitry Ivanov; Dmitry Boulytchev (LOPSTR, 2023)

Constraint Programming for Automatic User Interface Construction. - Peter Lozov; Dmitry Kosarev; Dmitri Boulytchev (Program. Comput. Softw., 2025)