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.
Past TIC workshops: