This is part of the open-access Proceedings of the ACM on Programming Languages, so it would be available anyway; but just a reminder that the entire ACM DL is

This is part of the open-access Proceedings of the ACM on Programming Languages, so it would be available anyway; but just a reminder that the entire ACM DL is available free to download until June 30: https://www.acm.org/articles/bulletins/2020/march/dl-access-during-covid-19 https://www.acm.org/articles/bulletins/2020/march/dl-access-... . Incidentally, the issue from which this comes is called "No. HOPL": https://dl.acm.org/toc/pacmpl/2020/4/HOPL https://dl.acm.org/toc/pacmpl/2020/4/HOPL. I'm not sure if it's in place of, or in addition to, HOPL IV which was postponed: https://hopl4.sigplan.org https://hopl4.sigplan.org .