Follow
Yaozhu Sun
Yaozhu Sun
Verified email at cs.hku.hk - Homepage
Title
Cited by
Cited by
Year
Compositional Programming
W Zhang, Y Sun, BCS Oliveira
ACM Transactions on Programming Languages and Systems 43 (3), 9:1-61, 2021
322021
Direct Foundations for Compositional Programming
A Fan, X Huang, H Xu, Y Sun, BCS Oliveira
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
72022
Inner array inlining for structure of arrays layout
M Springer, Y Sun, H Masuhara
Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries …, 2018
52018
Compositional embeddings of domain-specific languages
Y Sun, U Dhandhania, BCS Oliveira
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 175-203, 2022
32022
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
W Ye, Y Sun, BCS Oliveira
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 2010-2039, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–5