Report bad compatibility problems
11 papers accepted out of 16 submitted.
Welcome to the 3rd Workshop on Type-Driven Development (TyDe '18) submissions site. For general conference information, see
Sign in to submit or review papers.
Forgot your password?
New to the site?
Create an account
for registering submissions has passed.