Léo Gourdin. Lazy Code Transformations in a Formally Verified Compiler. In Eric Jul, Dimi Racordon, editors, Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems, ICOOOLPS 2023, Seattle, WA, USA, 17 July 2023. pages 3-14, ACM, 2023. [doi]
Abstract is missing.