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.
Welcome to the Workshop on Type-Driven Development (TyDe'22) submissions site. For general information, see https://icfp22.sigplan.org/home/tyde-2022.
Submissions are currently closed.