| Direct foundations for compositional programming A Fan, X Huang, H Xu, Y Sun, BCS Oliveira 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 4 | 2022 |
| super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion A Fan, L Parreaux 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 2 | 2023 |
| When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism L Parreaux, A Boruch-Gruszecki, A Fan, CY Chau Proceedings of the ACM on Programming Languages 8 (POPL), 1418-1450, 2024 | 1 | 2024 |
| Simple extensible programming through precisely-typed open recursion A Fan Companion Proceedings of the 2022 ACM SIGPLAN International Conference on …, 2022 | 1 | 2022 |
| A Calculus with Recursive Types, Record Concatenation and Subtyping Y Zhou, BCS Oliveira, A Fan Asian Symposium on Programming Languages and Systems, 175-195, 2022 | 1 | 2022 |
| super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact) A Fan, L Parreaux Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | | 2023 |
| Direct Foundations for Compositional Programming (Artifact) A Fan, X Huang, H Xu, Y Sun, BCS Oliveira Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022 | | 2022 |
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
