Mingqi Xue, Bruno C. D. S. Oliveira. A dependently typed calculus with polymorphic subtyping. Science of Computer Programming, 208:102655, 2021. [doi]
@article{XueO21, title = {A dependently typed calculus with polymorphic subtyping}, author = {Mingqi Xue and Bruno C. D. S. Oliveira}, year = {2021}, doi = {10.1016/j.scico.2021.102655}, url = {https://doi.org/10.1016/j.scico.2021.102655}, researchr = {https://researchr.org/publication/XueO21}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {208}, pages = {102655}, }