Dmitry Kosarev

Orcid: 0000-0002-6773-5322

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Relational Solver for Java Generics Type System.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2021
Generic Programming with Combinators and Objects.
CoRR, 2021

2020
Relational Synthesis for Pattern Matching.
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2016
Typed Embedding of a Relational Language in OCaml.
Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016


  Loading...