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

Submissions

Sign in to manage submissions.

Deadline: Tuesday May 28, 2024, 11:59:59 AM UTC