Xuejing Huang

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 13

Top Topics

Operational Semantics

Microsoft Sql Server

Top Venues

Dagstuhl Artifacts Ser.

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈. Proc. ACM Program. Lang. 7 (POPL) (2023)
Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations. Proc. ACM Program. Lang. 7 (POPL) (2023)
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
Union Types with Disjoint Switches (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
Union Types with Disjoint Switches. ECOOP (2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
Direct Foundations for Compositional Programming. ECOOP (2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
Direct Foundations for Compositional Programming (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
Direct Foundations for Compositional Programming. CoRR (2022)
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
Type-Directed Operational Semantics for Gradual Typing. ECOOP (2021)
Xuejing Huang, Bruno C. d. S. Oliveira
Distributing intersection and union types with splits and duality (functional pearl). Proc. ACM Program. Lang. 5 (ICFP) (2021)
Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira
Taming the Merge Operator. J. Funct. Program. 31 (2021)
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
Type-Directed Operational Semantics for Gradual Typing (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Xuejing Huang, Bruno C. d. S. Oliveira
A Type-Directed Operational Semantics For a Calculus with a Merge Operator. ECOOP (2020)
Xuejing Huang, Bruno C. d. S. Oliveira
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)