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