Mitchell Wand, Patrick O'Keefe
On the Complexity of Type Inference with Coercion
FPCA, 1989.
@inproceedings{FPCA-1989-WandO,
author = "Mitchell Wand and Patrick O'Keefe",
booktitle = "{Proceedings of the Fourth Conference on Functional Programming Languages and Computer Architecture}",
doi = "10.1145/99370.99394",
isbn = "0-201-51389-7",
pages = "293--298",
publisher = "{ACM Press}",
title = "{On the Complexity of Type Inference with Coercion}",
year = 1989,
}