How to Repair Type Errors Automatically.

Bruce J. McAdam How to Repair Type Errors Automatically. 87-98 2001 conf/sfp/2001 Scottish Functional Programming Workshop db/conf/sfp/sfp2001.html#McAdam01