Proceedings of the ACM on Programming Languages