Mingqi Xue -

Registered user since Wed 5 May 2021

Name:Mingqi Xue

Contributions

ECOOP 2021	Author of A Dependently Typed Calculus with Polymorphic Subtyping within the ECOOP Technical Papers-track