Skip navigation
HKU Login
Guest Login
Home
Publications
Researchers
Staff
Research Postgraduates
Organizations
Grants
Datasets
Deposit Data
HKUL Research Data Management
Theses
Patents
Community Service
Browsing by Author Huang, Xuejing
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
中
or enter first few letters:
Showing results 1 to 1 of 1
Title
Author(s)
Issue Date
Taming intersection types and the merge operator
Huang, Xuejing
黃雪晶
2023