Welcome to the 4th Workshop on Implementation of Type Systems (WITS 2025) submissions site. For general information, see https://popl25.sigplan.org/.
Submissions
Sign in to manage submissions.
Deadline: Sunday Nov 10, 2024, 11:59:59 PM AoE
Discussion deadline: Sunday Nov 10, 2024, 11:59:59 PM AoE