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