Welcome to the 10th Workshop on Type-Driven Development (TyDe 2025) submissions site.
Sign in using your HotCRP.com username and password.
New to the site? Create an account
Sign in to manage submissions.
Deadline: Tuesday Jun 10, 2025, 11:59:59 AM UTC