<< 2012/11/12 | ホーム | 2012/11/14 >>

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"

http://dx.doi.org/10.1007/978-3-642-32037-8_1

タグ : ,