Luís Damas, Robin Milner. Principal Type-Schemes for Functional Programs. In POPL. pages 207-212, 1982.
@inproceedings{DamasM82, title = {Principal Type-Schemes for Functional Programs}, author = {Luís Damas and Robin Milner}, year = {1982}, tags = {functional programming}, researchr = {https://researchr.org/publication/DamasM82}, cites = {0}, citedby = {1}, pages = {207-212}, booktitle = {POPL}, }