A type-directed operational semantics for a calculus with a merge operator X Huang, B C. d. S. Oliveira 34th European Conference on Object-Oriented Programming (ECOOP 2020)(Leibniz …, 2020 | 13 | 2020 |
Distributing intersection and union types with splits and duality (functional pearl) X Huang, BCS Oliveira Proceedings of the ACM on Programming Languages 5 (ICFP), 1-24, 2021 | 10 | 2021 |
Taming the merge operator X Huang, J Zhao, BCDS Oliveira Journal of Functional Programming 31, e28, 2021 | 9 | 2021 |
Union Types with Disjoint Switches B Rehman, X Huang, N Xie, BCS Oliveira 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 8 | 2022 |
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ N Rioux, X Huang, BCS Oliveira, S Zdancewic Proceedings of the ACM on Programming Languages 7 (POPL), 515-543, 2023 | 5 | 2023 |
Direct foundations for compositional programming A Fan, X Huang, H Xu, Y Sun, BCS Oliveira 36th European Conference on Object-Oriented Programming (ECOOP 2022) 222, 18 …, 2022 | 4 | 2022 |
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations H Xu, X Huang, BCS Oliveira Proceedings of the ACM on Programming Languages 7 (POPL), 893-920, 2023 | 2 | 2023 |
Type-directed operational semantics for gradual typing W Ye, BCS Oliveira, X Huang 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021 | 2 | 2021 |
Taming the merge operator: a type-directed operational semantics approach X Huang, J Zhao, BCS Oliveira J. Funct. Program, 2021 | 1 | 2021 |
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact) X Huang, BCS Oliveira Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020 | 1 | 2020 |
Making a Type Difference HAN XU, X HUANG, BCDS OLIVEIRA | | 2023 |
Taming intersection types and the merge operator X Huang HKU Theses Online (HKUTO), 2023 | | 2023 |
Union Types with Disjoint Switches (Artifact) B Rehman, X Huang, N Xie, BCS Oliveira Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022 | | 2022 |
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 |
Type-Directed Operational Semantics for Gradual Typing (Artifact) W Ye, BCS Oliveira, X Huang Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2021 | | 2021 |
A Type-Directed Operational Semantics X Huang, BCS Oliveira | | |