We stand with Ukraine  

Xuejing Huang

Orcid: 0000-0002-8496-491X

According to our database1, Xuejing Huang authored at least 12 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations.
[BibTeX]
[DOI]
Han Xu
,
Xuejing Huang
,
Bruno C. d. S. Oliveira
Proc. ACM Program. Lang., January, 2023

A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈.
[BibTeX]
[DOI]
Nick Rioux
,
Xuejing Huang
,
Bruno C. d. S. Oliveira
,
Steve Zdancewic
Proc. ACM Program. Lang., January, 2023

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

Direct Foundations for Compositional Programming (Artifact).
[BibTeX]
[DOI]
Andong Fan
,
Xuejing Huang
,
Han Xu
,
Yaozhu Sun
,
Bruno C. d. S. Oliveira
Dagstuhl Artifacts Ser., 2022

Union Types with Disjoint Switches.
[BibTeX]
[DOI]
Baber Rehman
,
Xuejing Huang
,
Ningning Xie
,
Bruno C. d. S. Oliveira
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Direct Foundations for Compositional Programming.
[BibTeX]
[DOI]
Andong Fan
,
Xuejing Huang
,
Han Xu
,
Yaozhu Sun
,
Bruno C. d. S. Oliveira
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

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

Taming the Merge Operator.
[BibTeX]
[DOI]
Xuejing Huang
,
Jinxu Zhao
,
Bruno C. d. S. Oliveira
J. Funct. Program., 2021

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

Type-Directed Operational Semantics for Gradual Typing.
[BibTeX]
[DOI]
Wenjia Ye
,
Bruno C. d. S. Oliveira
,
Xuejing Huang
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

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

A Type-Directed Operational Semantics For a Calculus with a Merge Operator.
[BibTeX]
[DOI]
Xuejing Huang
,
Bruno C. d. S. Oliveira
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020


  Loading...