Recent advances in type theory have led to a number of new
applications of types during the compilation process. Type
information has been found to be useful for compiler verification,
for program analysis and transformation, for optimizing dynamic
method dispatch in object-oriented languages, for code generation,
for debugging of the compiler and a number of other applications.
Several state-of-the-art compilers maintain an explicitly-typed
representation of the source program through the later stages of
compilation. Some compilers emit type information into the object
file to facilitate later verification of the object code.

The workshop on Types in Compilation is a one day meeting that will
cover both theoretical aspects and practical applications of type
systems in compilation.

To submit a technical summary, authors should complete the following
two steps by the submission deadline:

1. Send an e-mail message to muller@cs.bc.edu containing the title,
authors' contact information, and an abstract (not to exceed 200
words) in ASCII.

2. Send the technical summary itself. The summary may be sent
either electronically as a platform-independent PostScript file
or via post; in the latter case, please send six (6) hard copies
of the paper to: