| 2001 | ||
|---|---|---|
| 6 | Bruce J. McAdam: How to Repair Type Errors Automatically. Scottish Functional Programming Workshop 2001: 87-98 | |
| 2000 | ||
| 5 | Bruce J. McAdam, Andrew Kennedy, Nick Benton: Type inference for MLj. Scottish Functional Programming Workshop 2000: 159-172 | |
| 1999 | ||
| 4 | Bruce J. McAdam: Generalising Techniques for Type Debugging. Scottish Functional Programming Workshop 1999: 50-58 | |
| 1998 | ||
| 3 | Bruce J. McAdam: Type Errors Confuse the Programmer (Poster Abstract). ICFP 1998: 338 | |
| 2 | Bruce J. McAdam: On the Unification of Substitutions in Type Interfaces. IFL 1998: 137-152 | |
| 1997 | ||
| 1 | Bruce J. McAdam: BigTypes in ML. ICFP 1997: 316 | |
| 1 | Nick Benton (P. N. Benton) | [5] |
| 2 | Andrew Kennedy | [5] |