Yaozhu Sun

According to our database, Yaozhu Sun authored at least 8 papers between 2018 and 2025.

Collaborative distances:

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

2025

Named Arguments as Intersections, Optional Arguments as Unions.

Yaozhu Sun, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems, 2025

2024

Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing.

Wenjia Ye, Yaozhu Sun, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2024

2022

Compositional embeddings of domain-specific languages.

Yaozhu Sun, Utkarsh Dhandhania, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2022

Direct Foundations for Compositional Programming (Artifact).

Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2022

Direct Foundations for Compositional Programming.

Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Compositional Programming.

Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira

ACM Trans. Program. Lang. Syst., 2021

Compositional Programming (Artifact).

Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2021

2018

Inner array inlining for structure of arrays layout.

Matthias Springer, Yaozhu Sun, Hidehiko Masuhara

Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, 2018