Title: Repairing Type Errors in Functional Programs

Abstract: I'd like to tell you all a bit about the
contents of my thesis, which is about a few techniques
for improving the user interface of type checkers.  In
particular I will explain how the theory of type
isomorphisms can be used to make type error messages
which suggest ways of repairing mistakes.  Technology
permitting I will give a demonstration of my
implementation of this.