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

hotcrp.com login

Email
Password
 
 
 

Submissions:  

The deadline for registering submissions has passed.