Qianyong Wan

According to our database, Qianyong Wan authored at least 2 papers between 2024 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

2024

Full Iso-Recursive Types.

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

Proc. ACM Program. Lang., 2024