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:  

Deadline: 25 May 2017 8am EDT
You must sign in to start a submission.