International Workshops on
Types in Language Design and Implementation (TLDI)
(formerly known as Types in Compilation)
Overview
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.
Craig Chambers,
Robert Harper,
Xavier Leroy,
Greg Morrisett,
Atsushi Ohori, and
Zhong Shao currently
serve as the steering committee of the TLDI workshop series.
Forthcoming TLDIs
Past TICs and TLDIs
Last modified: June 11, 2008.