Welcome to the 3rd Workshop on Type-Driven Development (TyDe '18) submissions site. For general information, see https://icfp18.sigplan.org/track/tyde-2018.
Submissions
The deadline for registering submissions has passed.
Welcome to the 3rd Workshop on Type-Driven Development (TyDe '18) submissions site. For general information, see https://icfp18.sigplan.org/track/tyde-2018.
The deadline for registering submissions has passed.