Bruce J. McAdam. How to Repair Type Errors Automatically. In Kevin Hammond, Sharon Curtis, editors, Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001. Volume 3 of Trends in Functional Programming, pages 87-98, Intellect, 2001.
Abstract is missing.