Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation - Jhala, Ranjit (Association for Computing Machinery, 2022)