Welcome to the 11th Workshop on Type-driven Development (TyDe 2026) submissions site. For general information, see https://tydeworkshop.org/2026.

Submissions

Sign in to manage submissions.