@article{chan-2026-commuting, title={Commuting Conversions and Join Points for Call-by-Push-Value}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3798210}, DOI={10.1145/3798210}, number={OOPSLA1}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Chan, Jonathan and Gudin, Madi and Levy, Annabel and Weirich, Stephanie}, year={2026}, month=Apr, pages={289–313} }