Do you have space for dessert? a verified space cost semantics for CakeML programs

Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan. Do you have space for dessert? a verified space cost semantics for CakeML programs. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]

Abstract

Abstract is missing.