ACM Logo ACM Logo

The Fifth ACM SIGPLAN Workshop on


Types in Language Design and Implementation

 


Madrid, Spain

Saturday, 23 January, 2010


To be held in conjunction with POPL 2010

 

Welcome to TLDI 2010

TLDI '10 is the fifth ACM SIGPLAN Workshop on Types in Language Design and Implementation.

The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. TLDI 2010 will be co-located with POPL in Madrid, Spain.

New! List of accepted papers.

New! We're pleased to announce that Matthias Felleisen will present the keynote talk at TLDI 2010.

Important Dates

Submission 5 October 2009 (Monday), 23:00 Samoa-Apia Time
Notification 6 November 2009 (Friday)
Camera ready 15 November 2009 (Sunday)
TLDI '10 23 January 2010 (Saturday)

Submission

Submit your paper electronically here.

 
General Chair:

Andrew Kennedy
Microsoft Research, Cambridge
akenn at microsoft dot com

 

Program Chair:

 

Nick Benton
Microsoft Research, Cambridge

nick at microsoft dot com

 

Program Committee: 

 
Gilles Barthe  IMDEA Software
Viviana Bono University of Torino
Giorgio Ghelli University of Pisa
Dan Grossman University of Washington
Atsushi Igarashi Kyoto University
Conor McBride University of Strathclyde
Jeremy Siek University of Colorado at Boulder
Zhong Shao Yale University
Matthieu Sozeau Harvard University
Chris Stone Harvey Mudd College
Kristian Støvring ITU Copenhagen

 

Steering Committee: 

 
Amal Ahmed Indiana University
Craig Chambers University of Washington
Robert Harper Carnegie Mellon University (Chair)
Xavier Leroy INRIA Paris-Rocquencourt
Greg Morrisett Harvard University
George Necula Rinera Networks and UC Berkeley
Atsushi Ohori Tohoku University
Francois Pottier INRIA Paris-Rocquencourt
Zhong Shao Yale University