Not registered as user yet

Name: Dmitry Mordvinov

Affiliation: Saint-Petersburg State University, JetBrains Research

Contributions

ECOOP 2019 On Satisfiability of Nominal Subtyping with Variance
Show activities from other conferences

ECOOP 2019-profile
View general profile