Beckett, Ryan, Mahajan, Ratul, Millstein, Todd · Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation · 2017