Dmitry Kosarev

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 4

Top Topics

Programming Language

Pattern Matching

Relational Data Model

Top Venues

Publications

Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev
Relational Solver for Java Generics Type System. LOPSTR (2023)
Dmitry Kosarev, Dmitry Boulytchev
Generic Programming with Combinators and Objects. CoRR (2021)
Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev
Relational Synthesis for Pattern Matching. APLAS (2020)
Dmitry Kosarev, Dmitry Boulytchev
Typed Embedding of a Relational Language in OCaml. ML/OCAML (2016)