• Sign in
  • Sign up
conf.researchr.org / Dmitry Mordvinov
  • ECOOP 2019 profile
  • ICFP 2022 profile
  • PLDI 2021 profile
No Photo

Not registered as user

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
xMon 12 May 01:13
using conf.researchr.org (v1.69.0)
Support page
Sign Up