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 謝宁宁
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