Searching for Type-Error Messages
前読んだ論文の発展版。同一関数内に複数型エラーがある場合に対応したり、評価したり、C++ に応用したりしている。
author="Benjamin S. Lerner and Matthew Flower and Dan Grossman and Craig Chambers",
title="{Searching for Type-Error Messages}",
booktitle="PLDI 2007",
publisher="ACM Press",
pages="425--434",
year="2007"