WITS 2027

WITS 2027 is the 6th Workshop on the Implementation of Type Systems. The workshop will be held on January 16, 2027, in Mexico City, Mexico, at the Hilton Mexico City Reforma (same venue as POPL).

The goal of this workshop is to bring together the implementors of a variety of languages with advanced type systems. The main focus is on the practical issues that come up in the implementation of these systems, rather than the theoretical frameworks that underlie them. In particular, we want to encourage exchanging ideas between the communities around specific systems that would otherwise be accessible to only a very select group.

Registration is free.

Call for Participation

The workshop will have a mix of invited and contributed talks, organized discussion times, and informal collaboration time.

Scope

We invite participants to share their experiences, study differences among the implementations, and generalize lessons from those. We also want to promote the creation of a shared vocabulary and set of best practices for implementing type systems.

Here are a few examples of topics we are interested to discuss:

This list is not exhaustive, so please contact the PC chair in case you are unsure if a topic falls within the scope of the workshop.

Submissions

WITS solicits two kinds of submissions:

Both kinds of proposals should be accompanied by an abstract of max. 1 page (exclusive of references), formatted according to the guidelines for SIGPLAN conferences: use the sigplan option to the acmart LaTeX document class:

\documentclass[sigplan,10pt,review,anonymous,nonacm]{acmart}
\settopmatter{printfolios=true,printccs=false,printacmref=false}

Please do not use LLMs to generate any text in the abstract.

WITS will have no published proceedings, so submitting to WITS does not interfere with submission (before, after, or simultaneously) to other venues. Submissions are handled via https://types-hotcrp.paris.inria.fr/wits27 (enabled soon).

Important Dates

PC