孫耀珠 (YAOZHU SUN) - マイポータル

基本情報

Named Arguments as Intersections, Optional Arguments as Unions

Yaozhu Sun, Bruno C. d. S. Oliveira

Proceedings of the 34th European Symposium on Programming (ESOP) 2025年5月査読有り筆頭著者責任著者
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing

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

Proceedings of the ACM on Programming Languages 8(OOPSLA2) 2024年10月査読有り
Compositional Embeddings of Domain-Specific Languages

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

Proceedings of the ACM on Programming Languages 6(OOPSLA2) 2022年12月査読有り筆頭著者責任著者
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 (ECOOP) 2022年6月査読有り
Compositional Programming

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

ACM Transactions on Programming Languages and Systems 43(3) 2021年9月査読有り
Inner Array Inlining for Structure of Arrays Layout

Matthias Springer, Yaozhu Sun, Hidehiko Masuhara

Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY@PLDI) 2018年6月査読有り