Welcome to the 8th Workshop on Type-Driven Development (TyDe 2023) submissions site.

Submissions

The deadline for registering submissions has passed.