Xuejing Huang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
1
Active years
2020–2022
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ECOOP | Direct Foundations for Compositional Programming. | Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira |
| 2022 | ECOOP | Union Types with Disjoint Switches. | Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira |
| 2021 | ECOOP | Type-Directed Operational Semantics for Gradual Typing. | Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang |
| 2020 | ECOOP | A Type-Directed Operational Semantics For a Calculus with a Merge Operator. | Xuejing Huang, Bruno C. d. S. Oliveira |