Constraint-Free Type Error Slicing
型付け規則を制約条件集合を解く問題に落とさずに型エラースライシングを行う手法の提案。直観的には、必ず型検査に成功する構文要素を作り、その要素に入れ替えるとエラーが消える構文要素を見つけて残す。GHC に実装したらしい。
author="Thomas Schilling",
title="{Constraint-Free Type Error Slicing}",
booktitle="TFP 2011",
publisher="Springer",
volume="7193",
series="LNCS",
pages="1--16",
year="2012"