ACM SIGPLAN Workshop on Types in Language Design and Implementation

2024-07-092024-07-092024-07-09https://infoscience.epfl.ch/handle/20.500.14299/38253ACM SIGPLAN Workshop on Types in Language Design and Implementation