Mitchell Wand, Patrick O Keefe. On the Complexity of Type Inference with Coercion. In FPCA. pages 293-298, 1989. [doi]
@inproceedings{WandO89, title = {On the Complexity of Type Inference with Coercion}, author = {Mitchell Wand and Patrick O Keefe}, year = {1989}, doi = {10.1145/99370.99394}, url = {http://doi.acm.org/10.1145/99370.99394}, tags = {type inference}, researchr = {https://researchr.org/publication/WandO89}, cites = {0}, citedby = {0}, pages = {293-298}, booktitle = {FPCA}, }