Dominic Duggan, Frederick Bent. Explaining Type Inference. Science of Computer Programming, 27(1):37-83, 1996.
@article{DugganB96, title = {Explaining Type Inference}, author = {Dominic Duggan and Frederick Bent}, year = {1996}, tags = {type inference}, researchr = {https://researchr.org/publication/DugganB96}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {27}, number = {1}, pages = {37-83}, }