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]
@inproceedings{Chen22-118,
title = {Towards a Verified Cost Model for Call-by-Push-Value},
author = {Zhuo Chen},
year = {2022},
doi = {10.1145/3563768.3565552},
url = {https://doi.org/10.1145/3563768.3565552},
researchr = {https://researchr.org/publication/Chen22-118},
cites = {0},
citedby = {0},
pages = {47-49},
booktitle = {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},
editor = {Alex Potanin},
publisher = {ACM},
isbn = {978-1-4503-9901-2},
}