| Compositional Programming W Zhang, Y Sun, BCS Oliveira ACM Transactions on Programming Languages and Systems 43 (3), 9:1-61, 2021 | 32 | 2021 |
| 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 | 7 | 2022 |
| 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 | 5 | 2018 |
| Compositional embeddings of domain-specific languages Y Sun, U Dhandhania, BCS Oliveira Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 175-203, 2022 | 3 | 2022 |
| 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 |
