@inproceedings{alexandruIntrinsicallyCorrectSorting2025, series={CPP ’25}, title={Intrinsically Correct Sorting in Cubical Agda}, url={http://dx.doi.org/10.1145/3703595.3705873}, DOI={10.1145/3703595.3705873}, booktitle={Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs}, publisher={ACM}, author={Alexandru, Cass and Choudhury, Vikraman and Rot, Jurriaan and van der Weide, Niels}, year={2025}, month=jan, pages={34–49}, collection={CPP ’25} }