Type Error Slicing in Implicitly Typed Higher-Order Languages. - Haack, Christian; Wells, Joe B. (2003)