Proceedings of the ACM on programming languages

ISSN 2475-1421