Follow
Xuejing Huang
Xuejing Huang
IRIF (previously in HKU)
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
A type-directed operational semantics for a calculus with a merge operator
X Huang, B C. d. S. Oliveira
34th European Conference on Object-Oriented Programming (ECOOP 2020)(Leibniz …, 2020
142020
Distributing intersection and union types with splits and duality (functional pearl)
X Huang, BCS Oliveira
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-24, 2021
102021
Taming the merge operator
X Huang, J Zhao, BCDS Oliveira
Journal of Functional Programming 31, e28, 2021
92021
Union Types with Disjoint Switches
B Rehman, X Huang, N Xie, BCS Oliveira
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
82022
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈
N Rioux, X Huang, BCS Oliveira, S Zdancewic
Proceedings of the ACM on Programming Languages 7 (POPL), 515-543, 2023
62023
Direct foundations for compositional programming
A Fan, X Huang, H Xu, Y Sun, BCS Oliveira
36th European Conference on Object-Oriented Programming (ECOOP 2022) 222, 18 …, 2022
42022
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations
H Xu, X Huang, BCS Oliveira
Proceedings of the ACM on Programming Languages 7 (POPL), 893-920, 2023
22023
Type-directed operational semantics for gradual typing
W Ye, BCS Oliveira, X Huang
35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021
22021
Taming the merge operator: a type-directed operational semantics approach
X Huang, J Zhao, BCS Oliveira
J. Funct. Program, 2021
12021
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)
X Huang, BCS Oliveira
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020
12020
Making a Type Difference
HAN XU, X HUANG, BCDS OLIVEIRA
2023
Taming intersection types and the merge operator
X Huang
HKU Theses Online (HKUTO), 2023
2023
Union Types with Disjoint Switches (Artifact)
B Rehman, X Huang, N Xie, BCS Oliveira
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022
2022
Direct Foundations for Compositional Programming (Artifact)
A Fan, X Huang, H Xu, Y Sun, BCS Oliveira
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022
2022
Type-Directed Operational Semantics for Gradual Typing (Artifact)
W Ye, BCS Oliveira, X Huang
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2021
2021
A Type-Directed Operational Semantics
X Huang, BCS Oliveira
The system can't perform the operation now. Try again later.
Articles 1–16