Not registered as user yet

Name: Dmitry Mordvinov

Affiliation: Saint-Petersburg State University, JetBrains Research

Contributions

ECOOP 2019Author of On Satisfiability of Nominal Subtyping with Variance within the ECOOP Research Papers-track
Show activities from other conferences

Using general profile