Benjamin S. Lerner, Dan Grossman, Craig Chambers. Seminal: searching for ML type-error messages. In Andrew Kennedy, François Pottier, editors, Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006. pages 63-73, ACM, 2006. [doi]
Abstract is missing.