Searching for Type-Error Messages (works by finding similar programs that do type-check)cs.washington.edu1 pointamichail19 years ago