A Type-Directed Operational Semantics For a Calculus with a Merge Operator. - Xuejing Huang; Bruno C. d. S. Oliveira (ECOOP, 2020)

A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact). - Xuejing Huang; Bruno C. d. S. Oliveira (Dagstuhl Artifacts Ser., 2020)

Type-Directed Operational Semantics for Gradual Typing. - Wenjia Ye; Bruno C. d. S. Oliveira; Xuejing Huang (ECOOP, 2021)

Type-Directed Operational Semantics for Gradual Typing (Artifact). - Wenjia Ye; Bruno C. d. S. Oliveira; Xuejing Huang (Dagstuhl Artifacts Ser., 2021)

Taming the Merge Operator. - Xuejing Huang; Jinxu Zhao; Bruno C. d. S. Oliveira (J. Funct. Program., 2021)

Distributing intersection and union types with splits and duality (functional pearl). - Xuejing Huang; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2021)

Direct Foundations for Compositional Programming. - Andong Fan; Xuejing Huang; Han Xu 004; Yaozhu Sun; Bruno C. d. S. Oliveira (ECOOP, 2022)

Union Types with Disjoint Switches. - Baber Rehman; Xuejing Huang; Ningning Xie; Bruno C. d. S. Oliveira (ECOOP, 2022)

Direct Foundations for Compositional Programming (Artifact). - Andong Fan; Xuejing Huang; Han Xu 004; Yaozhu Sun; Bruno C. d. S. Oliveira (Dagstuhl Artifacts Ser., 2022)

Union Types with Disjoint Switches (Artifact). - Baber Rehman; Xuejing Huang; Ningning Xie; Bruno C. d. S. Oliveira (Dagstuhl Artifacts Ser., 2022)

A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈. - Nick Rioux; Xuejing Huang; Bruno C. d. S. Oliveira; Steve Zdancewic (Proc. ACM Program. Lang., 2023)

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations. - Han Xu 004; Xuejing Huang; Bruno C. d. S. Oliveira (Proc. ACM Program. Lang., 2023)