Verified Inlining and Specialisation for PureCake. - Hrutvik Kanabar; Kacper Korban; Magnus O. Myreen (ESOP (2), 2024)