Revisiting iso-recursive subtyping. - Yaoda Zhou; Bruno C. d. S. Oliveira; Jinxu Zhao (Proc. ACM Program. Lang., 2020)

A Calculus with Recursive Types, Record Concatenation and Subtyping. - Yaoda Zhou; Bruno C. d. S. Oliveira; Andong Fan (APLAS, 2022)

Recursive Subtyping for All. - Litao Zhou; Yaoda Zhou; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2023)

Recursive subtyping for all. - Litao Zhou; Yaoda Zhou; Qianyong Wan; Bruno C. d. S. Oliveira (J. Funct. Program., 2025)