Yaoda Zhou

According to our database, Yaoda Zhou authored at least 4 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Recursive subtyping for all.

Litao Zhou, Yaoda Zhou, Qianyong Wan, Bruno C. d. S. Oliveira

J. Funct. Program., 2025

2023

Recursive Subtyping for All.

Litao Zhou, Yaoda Zhou, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., January, 2023

2022

A Calculus with Recursive Types, Record Concatenation and Subtyping.

Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2020

Revisiting iso-recursive subtyping.

Yaoda Zhou, Bruno C. d. S. Oliveira, Jinxu Zhao

Proc. ACM Program. Lang., 2020