Welcome to the 4th Workshop on Implementation of Type Systems (WITS 2025) submissions site. For general information, see https://popl25.sigplan.org/home/wits-2025.
Submissions
The deadline for registering submissions has passed.
Welcome to the 4th Workshop on Implementation of Type Systems (WITS 2025) submissions site. For general information, see https://popl25.sigplan.org/home/wits-2025.
The deadline for registering submissions has passed.