The Third ACM SIGPLAN Workshop on

Types in Compilation
(TIC 2000)

Montreal, Canada
September 21, 2000

Types play a central role in many of the advanced compilation
techniques developed for modern programming languages. Standard or
non-standard type systems and type analyses have been found to be
useful for optimizing dynamic method dispatch in object-oriented
languages, for reducing run-time tests in dynamically-typed languages,
for guiding data representations and code generation, for program
analysis and transformation, for compiler verification and debugging,
and for establishing safety properties of distributed or mobile code.
The "Types in Compilation" workshops bring together researchers to
share new ideas and results in this area. The next workshop, TIC
2000, will take place as part of the colloquium on Principles, Logics,
and Implementations of high-level programming languages (PLI 2000).

The preliminary proceedings are available as CMU technical report CMU-CS-00-161.
The final proceedings will be published by Springer-Verlag as part of
the Lecture Notes in Computer Science series.