Posted by Jesper on October 15, 2021
I am organizing the First International Workshop on the Implementation of Type Systems together with the one and only Richard Eisenberg. 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 underlie them. In particular, we want to encourage exchanging ideas between the communities around specific systems that would otherwise be accessible to only a very select group.
The workshop will be held on January 22, 2022, in Philadelphia, PA, United States, co-located with POPL. If you are working on the implementation of a cool type system or interested to do so, please consider submitting a proposal for a talk or a discussion at the workshop.
For more information, please visit our official webpage.