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 "Department of Computer Science" by Author rehman, baber
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
A blend of intersection types and union types
Rehman, Baber
Advisor(s):
Dos Santos Oliveira, BC
2023