Finding the Source of Type Errors
型エラーの原因を見つける手法の提案。ちょっと古い。手法としては、単一化する際に型変数の値が決まればその理由を記録するというもの。理由って何かとか細かいことは全然書かれていない。
author="Mitchell Wand",
title="{Finding the Source of Type Errors}",
booktitle="POPL'86",
publisher="ACM",
pages="38--43",
year="1986"