TY  - RPRT
TI  - An Affine Type System with Hindley-Milner Style Type Inference
AU  - Gonglin Li
PY  - 2022
UR  - https://arxiv.org/abs/2203.17125
ID  - 2203.17125
ER  -