Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mingqi Xue
conf.researchr.org general profile
ECOOP and ISSTA 2021 profile
Registered user since Wed 5 May 2021
Name:
Mingqi Xue
Contributions
2021
ECOOP
Author of A Dependently Typed Calculus with Polymorphic Subtyping within the ECOOP Technical Papers-track
Share
x
Sat 20 Apr 15:26