Report bad compatibility problems
Welcome to the 4th Workshop on Type-Driven Development (TyDe 2019) submissions site.
16 papers accepted out of 19 submitted.
Sign in using your HotCRP.com account.
Forgot your password?
New to the site?
Create an account
for registering submissions has passed.