Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation