1
Tutorial on Damas Hindley Milner Type System (blog.mno2.org)