Dmitry Kosarev

According to our database, Dmitry Kosarev authored at least 4 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Relational Solver for Java Generics Type System.

Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2021

Generic Programming with Combinators and Objects.

Dmitry Kosarev, Dmitry Boulytchev

CoRR, 2021

2020

Relational Synthesis for Pattern Matching.

Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2016

Typed Embedding of a Relational Language in OCaml.

Dmitry Kosarev, Dmitry Boulytchev

Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016