WITS
Sat 25 Jan 2025 Denver, Colorado, United StatesWITS 2025 with POPL 2025WITS 2025 is the fourth Workshop on the Implementation of Type Systems. The workshop will be held on January 25, 2025, in Denver, USA, co-located with POPL. The goal of this workshop is to bring together the implementors of a variety of languages with advanced type systems. The main focus is on the practical issues that come up in the implementation of these systems, rather than the theoretical frameworks that un ... |
Sat 20 Jan 2024 London, United KingdomWITS 2024 with POPL 2024WITS 2024 is the third Workshop on the Implementation of Type Systems. The workshop will be held on January 20, 2024, in London, United Kingdom, co-located with POPL. The goal of this workshop is to bring together the implementors of a variety of languages with advanced type systems. The main focus is on the practical issues that come up in the implementation of these systems, rather than the theoretical framewor ... |
Sat 22 Jan 2022 Philadelphia, Pennsylvania, United StatesWITS 2022 with POPL 2022WITS 2022 is the first Workshop on the Implementation of Type Systems. The workshop will be held on January 22, 2022, in Philadelphia, PA, United States, co-located with POPL. The goal of this workshop is to bring together the implementors of a variety of languages with advanced type systems. The main focus is on the practical issues that come up in the implementation of these systems, rather than the theoretical ... |