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 "HKU Theses Online" by Author xie, ningning
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
Higher-rank polymorphism : type inference and extensions
Xie, Ningning
謝宁宁
Advisor(s):
Dos Santos Oliveira, BC
2021