Proceedings of the ACM on programming languages (Association for Computing Machinery, Inc., 2017)