Zhuo Chen. Towards a Verified Cost Model for Call-by-Push-Value. In Alex Potanin, editor, Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2022, Auckland, New Zealand, December 5-10, 2022. pages 47-49, ACM, 2022. [doi]
Abstract is missing.