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 Zhao, Jinxu
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
Formalized higher-ranked polymorphic type inference algorithms
赵锦煦
Zhao, Jinxu
Advisor(s):
Dos Santos Oliveira, BC
Lam, TW
2021