Welcome to the 6th Workshop on Type-Driven Development (TyDe 2021) submissions site. For general information, see https://icfp21.sigplan.org/home/TyDe-2021.

Submissions

The deadline for registering submissions has passed.