Gordon V. Cormack, Andrew K. Wright. Type-Dependent Parameter Inference. In PLDI. pages 127-136, 1990.
@inproceedings{CormackW90, title = {Type-Dependent Parameter Inference}, author = {Gordon V. Cormack and Andrew K. Wright}, year = {1990}, tags = {type inference}, researchr = {https://researchr.org/publication/CormackW90}, cites = {0}, citedby = {0}, pages = {127-136}, booktitle = {PLDI}, }