Welcome to the 5th Workshop on the Implementation of Type Systems (WITS 2026) submissions site.

Submissions

Submissions are currently closed.