The role of types in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems and type analyses have led to new concepts in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. In recognition of the expanding role of types, the International Workshops on Types in Language Design and Implementation (TLDI) expand on the previous Workshops on Types in Compilation (TIC) to bring together researchers to share new ideas and results in this area.

The next TLDI will be colocated with POPL 2012, in Philadelphia PA, Saturday, January 28, 2012.