Bruce J. McAdam How to Repair Type Errors Automatically. [Citation Graph (0, 0)][DBLP] Scottish Functional Programming Workshop, 2001, pp:87-98 [Conf]
Bruce J. McAdam Generalising Techniques for Type Debugging. [Citation Graph (0, 0)][DBLP] Scottish Functional Programming Workshop, 1999, pp:50-58 [Conf]