Report bad compatibility problems
Welcome to the 5th Workshop on Type-Driven Development (TyDe 2020) (TyDe2020) submissions site.
Sign in using your HotCRP.com account.
Forgot your password?
New to the site?
Create an account
The site is not open for submissions at the moment.