@article{hinrichsen-2026-mixtris, title={Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3798224}, DOI={10.1145/3798224}, number={OOPSLA1}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Hinrichsen, Jonas Kastberg and Quémerais, Iwan and Birkedal, Lars}, year={2026}, month=Apr, pages={681–706} }