Xuejing Huang

15 papers A 4Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Liberating Merges via Apartness and Guarded Subtyping.
Proc. ACM Program. Lang.
Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira
2025 J jnl
Type-Safe Compilation of Dynamic Inheritance via Merging.
ACM Trans. Program. Lang. Syst.
Yaozhu Sun, Xuejing Huang, Bruno C. d. S. Oliveira
2023 J jnl
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈.
Proc. ACM Program. Lang.
Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic
2023 J jnl
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations.
Proc. ACM Program. Lang.
Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira
2022 J jnl
Direct Foundations for Compositional Programming (Artifact).
Dagstuhl Artifacts Ser.
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
2022 A conf
Direct Foundations for Compositional Programming.
ECOOP
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
2022 J jnl
Direct Foundations for Compositional Programming.
CoRR
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
2022 J jnl
Union Types with Disjoint Switches (Artifact).
Dagstuhl Artifacts Ser.
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
2022 A conf
Union Types with Disjoint Switches.
ECOOP
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
2021 J jnl
Distributing intersection and union types with splits and duality (functional pearl).
Proc. ACM Program. Lang.
Xuejing Huang, Bruno C. d. S. Oliveira
2021 J jnl
Taming the Merge Operator.
J. Funct. Program.
Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira
2021 J jnl
Type-Directed Operational Semantics for Gradual Typing (Artifact).
Dagstuhl Artifacts Ser.
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
2021 A conf
Type-Directed Operational Semantics for Gradual Typing.
ECOOP
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
2020 J jnl
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact).
Dagstuhl Artifacts Ser.
Xuejing Huang, Bruno C. d. S. Oliveira
2020 A conf
A Type-Directed Operational Semantics For a Calculus with a Merge Operator.
ECOOP
Xuejing Huang, Bruno C. d. S. Oliveira