Welcome to the The 2017 ACM SIGPLAN Workshop on Type-driven Development (ICFP TyDe 17) submissions site. For general information, see http://tydeworkshop.org/2017.

Submissions

The deadline for registering submissions has passed.