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.
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.
The deadline for registering submissions has passed.