paperswelove, 📜 Principal type-schemes for functional programs [1982]
By: L. Damas, R. Milner
📖 https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/principal-type-schemes-for-functional-programs.pdf
🔍 https://www.semanticscholar.org/paper/9c97b176ad594a24b923129218c5880a580fcb8b