Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dmitry Mordvinov
conf.researchr.org general profile
ECOOP 2019 profile
ICFP 2022 profile
PLDI 2021 profile
Not registered as user yet
Name:
Dmitry Mordvinov
Affiliation:
Saint-Petersburg State University, JetBrains Research
Contributions
2022
miniKanren
PC Member in Program Committee within the miniKanren 2022-track
2021
PLDI
Author of Beyond the Elementary Representations of Program Invariants over Algebraic Data Types within the PLDI-track
2019
ECOOP
Author of On Satisfiability of Nominal Subtyping with Variance within the Research Papers-track
Share
x
Tue 8 Oct 16:59