Welcome to the 2nd Workshop on the Implementation of Type Systems (WITS 2023) submissions site. For general information, see https://ifl23.github.io/call_papers_wits.html.
Submissions
The deadline for registering submissions has passed.
Welcome to the 2nd Workshop on the Implementation of Type Systems (WITS 2023) submissions site. For general information, see https://ifl23.github.io/call_papers_wits.html.
The deadline for registering submissions has passed.