Welcome to the Workshop on Type-Driven Development (TyDe'22) submissions site. For general conference information, see https://icfp22.sigplan.org/home/tyde-2022.

Submissions

The site is not open for submissions at the moment.