Proceedings of the ACM on Programming Languages

Journal