An Extended Type System for Exceptions

We present in this paper an extension to the ML type system by which it is possible to statically estimate all untrapped exceptions that can be raised by executing a program. This type system can handle polymorphic information on exceptions. A prinicipal extended type exists and can be computed for any well-typed expression.