The ACM SIGPLAN Workshop on
Types in Language Design and Implementation

Affiliated with ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2007.

Call for Papers
Local arrangements
Program Committee
Welcome to TLDI'07, The third ACM SIGPLAN Workshop on Types in Language Design and Implementation.

TLDI is a workshop on the role of types in all aspects of language design, compiler construction, and software development. 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, TLDI'03 expanded on the previous Workshops on Types in Compilation (TIC) to bring together researchers to share new ideas and results in this area and TLDI'05 continued that tradition.

 The Call For Papers contains information on the Organizing and Program Committees, important dates and submission instructions.

Workshop papers will be published under SIGPLAN Notices.

This year the workshop will be on January 16th 2007, preceding POPL'07. See the advance program.

Program chair: George Necula , University of California, Berkeley, necula at cs dot berkeley dot edu
General chair: Francois Pottier , INRIA Roquencourt