83. Copy link Damas-Hindley-Milner inference two ways bernsteinbear.com/blog/type-inference plt,programming
53. Copy link A reckless introduction to Hindley-Milner type inference reasonableapproximation.net/2019/05/05/hindley-milner.html fp,math,plt,programming