@inproceedings {4235,
	title = {Type-Dependent Parameter Inference},
	booktitle = {ACM-SIGPLAN Symposium on Programming Language Design and Implementation (PLDI)},
	year = {1990},
	doi = {10.1145/93542.93560},
	author = {Gordon Cormack and Andrew K. Wright}
}
