DTP 2013 : Dependently-Typed Programming


The draft program is available.


The ACM SIGPLAN Workshop on Dependently-Typed Programming 2013 will be co-located with the 2013 International Conference on Functional Programming (ICFP), in Boston, Massachusetts, USA.

The purpose of DTP is to discuss experiences with dependent types in programming and future developments for dependently-typed languages. Recent years have seen increasing overlap between the dependent type theory and functional programming languages communities. Co-locating this workshop with ICFP will promote that cross fertilization.

Topics of interest include, but are not limited to:

  • Language Design, both in the context of possible extensions and modifications of existing languages and the development of new languages with dependent types;

  • Theory, such as formal treatments of semantics and type systems;

  • Compilation, including implementations and optimization of dependently-typed languages;

  • Tools, in the form of IDEs, profilers, tracers, debuggers, and testing tools;

  • Functional Pearls, being elegant, instructive examples of using dependent types;

  • Experience Reports, general practice and experience with dependently-typed languages, e.g., in an education or industry context.

Workshop Format

The workshop program will be composed of regular papers (formally reviewed and published by ACM, see below) and informal presentations. A separate call for informal presentations will be issued during Summer 2013.

Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work. Functional Pearls and Experience reports need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, reusable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other programmers can benefit. It is not enough simply to describe a (dependently-typed) program!


Regular papers will appear in a formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. Authors must abide by the ACM policy for rights and permissions. Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they always retain copyright of auxiliary material.

Informal Presentations

DTP also solicits informal, work-in-progress talks. Such talks will not be accompanied by a publication in the formal proceedings. However, materials relevant to these talks (such as draft papers) can be posted on the DTP website. To propose a talk, send a short abstract (at most one page!) to sweirich@cis.upenn.edu by August 16th, 2013. Talks will be accepted on a rolling basis.

Travel Support

Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe.

Submission Details

  • Paper Submission : Friday, 14th June 2013 anywhere on Earth
  • Author Notification: Thursday, 11th July 2013
  • Final Papers Due : Thursday, 25th July 2013

Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (9pt format, more details appear on the symposium web page). The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Each paper submission must adhere to SIGPLAN's republication policy.

"Functional Pearls", and "Experience Reports" should be marked as such with those words in the title at time of submission.

The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected.

Submission is via EasyChair.

Program Committee

  • Thorsten Altenkirch, University of Nottingham
  • Edwin Brady, University of St. Andrews
  • Nils Anders Danielsson, University of Gothenburg
  • Ranjit Jhala, UC San Diego
  • Conor McBride, University of Strathclyde
  • Brigitte Pientka, McGill University
  • Tim Sheard, Portland State University
  • Matthieu Sozeau, INRIA Paris
  • Aaron Stump, University of Iowa
  • Nikhil Swamy, Microsoft Research
  • Stephanie Weirich, University of Pennsylvania (chair)


This workshop follows a series of workshops on dependently-typed programming. Past meetings include DTP 2011 in Nijmegen, DTP 2010 in Edinburgh, and DTP 2008 in Nottingham, as well as seminars organized in 2011 at Shonan Village, Japan and in 2004 at Dagstuhl, Germany. This is the first time that DTP has co-located with ICFP and has been sponsored by SIGPLAN.

Important Dates

Paper Submission:
Friday, 14th June 2013, anywhere on Earth
Author Notification:
Thursday, 11th July 2013
Final Papers Due:
Thursday, 25th July 2013
Talk Proposals:
Friday, 16th August 2013
Tuesday, 24th September 2013


Stephanie Weirich, sweirich@cis.upenn.edu