TY  - RPRT
TI  - Kind Inference for Datatypes: Technical Supplement
AU  - Ningning Xie
AU  - Richard A. Eisenberg
AU  - Bruno C. d. S. Oliveira
PY  - 2019
DO  - 10.1145/3371121
UR  - https://arxiv.org/abs/1911.06153
ID  - 1911.06153
ER  -