Yaoda Zhou

According to our database, Yaoda Zhou authored at least 3 papers between 2020 and 2023.

Collaborative distances:

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

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