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

Submissions

The deadline for registering submissions has passed.