An Affine Type System with Hindley-Milner Style Type Inference. - Gonglin Li (CoRR, 2022)