Zvonimir Pavlinovic, Tim King, Thomas Wies. Finding minimum type error sources. In Andrew P. Black, Todd D. Millstein, editors, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 525-542, ACM, 2014. [doi]
Abstract is missing.