TLDI 2010


Call for Papers

The Fifth ACM SIGPLAN Workshop


Types in Language Design and Implementation

Madrid, Spain, January 23, 2010

(Co-located with POPL 2010)


Submission Deadline: 5 October 2009, 23:00 Samoa-Apia Time




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 is the fifth workshop in the series and will be co-located with POPL in Madrid, Spain in January 2010.

Submissions for TLDI 2010 are invited on all interactions of types with language design, implementation, and programming methodology. This includes both practical applications and theoretical aspects. TLDI 2010 specifically encourages papers from a broad field of programming language and compiler researchers, including those working on object-oriented, dynamically-typed or late-bound languages, systems programming, mobile-code or security, as well as traditional fully-static type systems. Topics of interest include:

This is not meant to be an exhaustive list; papers on novel utilizations of type information are welcome. Authors concerned about the suitability of a topic are encouraged to inquire via electronic mail to the program chair prior to submission.

Submission Guidelines

Authors should submit a full paper of no more than 12 pages (including bibliography and appendices) by Monday 5th October, 2009. The submission deadline and length limitations are firm. Submissions that do not meet these guidelines will not be considered.

All submissions should be in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline. Detailed formatting guidelines are available on the SIGPLAN Author Information page, along with a LaTeX class file and template.

Papers must be submitted electronically via the conference website in Adobe Portable Document Format (PDF) and must be formatted for US Letter size (8.5"x11") paper. Authors for whom this is a hardship should contact the program chair before the deadline.

Submitted papers must adhere to the SIGPLAN Republication Policy. Submissions should contain original research not published or submitted for publication elsewhere.


As in previous years, accepted papers will be published by the ACM and appear in the ACM digital library. A printed proceedings will be available at the workshop.

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)

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