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