Welcome to the Workshop on Type-Driven Development (TyDe'22) submissions site. For general information, see https://icfp22.sigplan.org/home/tyde-2022.

Submissions

Submissions are currently closed.